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

dalev monad [4 articles]

Recent papers added to dalev library classified by the tag monad. You can also see everyone's monad.
  • A Monadic Categorical Semantics for Threads
    by Jonathan Sobel, Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to category-theory monad thread by dalev on 2005-08-04 18:46:05 as *** along with 8 people and 1 group jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
  • Generic unification via two-level types and parameterized modules
    Vol. 36, No. 10. (October 2001), pp. 86-97.
    by Tim Sheard
    posted to generic-programming haskell monad two-level-types unification by dalev on 2005-08-02 16:20:41 as *** along with 1 person and 1 group dherman NU-PRL
  • A generic account of continuation-passing styles
    (1994), pp. 458-471.
    by John Hatcliff, Olivier Danvy
    posted to administrative-reductions cps monad monadic-normal-form by dalev on 2005-08-02 04:21:19 as read along with 1 person and 1 group dsilva NU-PRL
  • A poor man's concurrency monad
    J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
    by Koen Claessen
    posted to concurrency haskell monad by dalev on 2005-08-02 04:07:16 as read along with 3 people and 2 groups pedagand keigoi janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/dalev/tag/monad

    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.