Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

dhag's library [3 articles]

Recent papers added to dhag's library.
  • A type system for certified binaries
    ACM Trans. Program. Lang. Syst., Vol. 27, No. 1. (January 2005), pp. 1-45.
    by Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou
    posted to no-tag by dhag on 2007-05-30 22:06:29 as read along with 1 group complogic
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
    Vol. 523 (1991), pp. 124-144.
    by Erik Meijer, Maarten Fokkinga, Ross Paterson
    edited by J Hughes
    posted to no-tag by dhag on 2007-05-30 22:03:36 as ** along with 25 people and 4 groups pedagand dvgb rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy Porges conal cdiggins mmarcus jimburton namin SRL SRG_at_UCD complogic Lambda the Ultimate
  • Template meta-programming for Haskell
    SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
    by Tim Sheard, Simon P Jones
    posted to no-tag by dhag on 2007-05-30 22:00:34 as read along with 9 people and 2 groups jpbernardy samth marcin msakai kozima spl keigoi TTSY mcclurmc NU-PRL complogic
    • Note: You may cite this page as: http://www.citeulike.org/user/dhag

    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.