注册 | 登录 | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

dhag's library [3 articles]

最近录入 dhag's 文献库.
  • 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 27 people and 4 groups draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand 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 samth marcin msakai kozima spl keigoi TTSY mcclurmc jpbernardy NU-PRL complogic
    • ◇温馨提示◇本页的引用地址为： http://www.citeulike.org/user/dhag

    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.