Type-directed compilation of ML supporting interoperable memory management system

Bibliographic Information

Type-directed compilation of ML supporting interoperable memory management system

by Nguyen Huu Duc

Nguyen Huu Duc, 2006

Search this Book/Journal
Note

Thesis (doctoral)--Japan Advanced Institute of Science and Technology, 2006, 博情第157号

Details
  • NCID
    BA79903368
  • Country Code
    ja
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    [Nomi, Ishikawa]
  • Pages/Volumes
    iv, 98 leaves.
  • Size
    30 cm
Page Top