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

Group: Lambda the Ultimate - with tag fsharp [5 articles]

Недавние статьи, отправленные по почте членами Lambda the Ultimate группы with tag fsharp
  • Catch me if you can: Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml
    (2008)
    posted to exceptions expressivity fsharp functional library ocaml programming by namin to the group Lambda the Ultimate on 2008-07-14 23:06:39 as ** along with 1 person and 1 group pedagand functional programming
  • Embedding an Interpreted Language Using Higher-Order Functions and Types
    by N Ramsey
    posted to dsel dsl fsharp haskell ocaml programming by namin to the group Lambda the Ultimate on 2008-06-27 23:47:15 as **** along with 1 person and 1 group draganigajic functional programming
  • Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation
    by G Huet
    posted to data-structures fsharp haskell ocaml programming zipper by namin to the group Lambda the Ultimate on 2008-06-27 23:30:06 as **** along with 5 people and 2 groups dherman eaubin JacquesC zednenem EdwardKmett NU-PRL functional programming
  • Extensible pattern matching via a lightweight language extension
    SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 29-40.
    by Don Syme, Gregory Neverov, James Margetson
    posted to fsharp programming by namin to the group Lambda the Ultimate on 2008-04-01 07:10:41 as ** along with 2 people jrw tautologico
  • Stochastic lambda calculus and monads of probability distributions
    (2002), pp. 154-165.
    by Norman Ramsey, Avi Pfeffer
    posted to fsharp haskell lambda-calculus monads probability by namin to the group Lambda the Ultimate on 2008-03-18 07:40:55 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/group/4254/tag/fsharp

    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.