Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

samth ml [11 articles]

Recent papers added to samth library classified by the tag ml. You can also see everyone's ml.
  • Modules for Standard ML
    (1984), pp. 198-207.
    by David B Macqueen
    posted to ml oopsla-paper by samth on 2005-03-14 23:30:07 as ** along with 1 group NU-PRL
  • The design of a class mechanism for Moby
    Vol. 34, No. 5. (May 1999), pp. 37-49.
    by Kathleen Fisher, John Reppy
    posted to ml oopsla-paper by samth on 2005-03-03 18:35:23 as ** along with 1 group NU-PRL
  • No Assembly Required: Compiling Standard ML to C
    ACM Letters on Programming Languages and Systems, Vol. 1, No. 2. (June 1992), pp. 161-177.
    by David Tarditi, Peter Lee, Anurag Acharya
    posted to compiler ml by samth on 2005-02-21 15:26:20 as ** along with 5 people and 1 group dherman hamish JeffreyPalmer anoopsarkar satrajit NU-PRL
  • Reflections on Standard ML
    (1993), pp. 32-46.
    by David B Macqueen
    posted to ml by samth on 2005-02-21 15:25:30 as ** along with 3 people and 1 group twleung JeffreyPalmer lyongu NU-PRL
  • Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML
    (December 1996)
    by D Tarditi
    posted to compiler ml ssa by samth on 2005-01-24 19:04:29 as ** along with 1 group NU-PRL
  • TIL: A Type-Directed Optimizing Compiler for ML
    (1996), pp. 181-192.
    by D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee
    posted to compiler ml by samth on 2005-01-24 18:53:09 as ** along with 1 person and 1 group cdiggins NU-PRL
  • Modules for standard ML
    (1984), pp. 198-207.
    by David Macqueen
    posted to ml modules by samth on 2004-12-02 00:23:46 as ** along with 1 person and 1 group gkuan NU-PRL
  • Using dependent types to express modular structure
    (1986), pp. 277-286.
    by David B Macqueen
    posted to ml modules types by samth on 2004-12-02 00:23:39 as ** along with 1 person and 1 group dwaern NU-PRL
  • A standard ML compiler
    (1987), pp. 301-324.
    by Andrew W Appel, David B Macqueen
    posted to compiler ml by samth on 2004-12-02 00:23:31 as ** along with 1 group NU-PRL
  • Macros as multi-stage computations: type-safe, generative, binding macros in MacroML
    Vol. 36, No. 10. (October 2001), pp. 74-85.
    by Steven E Ganz, Amr Sabry, Walid Taha
    posted to macros ml types by samth on 2004-12-02 00:05:24 as read along with 4 people and 1 group dherman luhong c_m_h dfisher NU-PRL
  • Typing first-class continuations in ML
    (1991), pp. 163-173.
    by Bruce Duba, Robert Harper, David Macqueen
    posted to continuations ml types by samth on 2004-12-01 22:33:10 along with 2 people and 1 group dsilva msakai NU-PRL
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/samth/tag/ml

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.