Registrera dig | Logga in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

samths Macqueen [7 articles]

Senaste artiklarna i samths bibliotek av författaren Macqueen. Du kan också see andras Macqueen.
  • 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 Definition of Standard ML - Revised
    (15 May 1997)
    by Robin Milner, Mads Tofte, Robert Harper, David Macqueen
    posted to components oopsla-paper by samth on 2005-03-03 18:23:07 as ** along with 3 people and 1 group bringert gkuan jasmithoffice 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
  • 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
  • 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
    • Du kan hänvisa till den här sidan som: http://www.citeulike.org/user/samth/author/Macqueen

    RIS BibTeX
    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.