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

lomeo types [13 articles]

Recent papers added to lomeo library classified by the tag types. You can also see everyone's types.
  • Imperative Functional Programming
    (1993), pp. 71-84.
    by SLP Simon, Philip Wadler
    posted to foreign-function-interface functional-programming io monad types by lomeo on 2007-03-21 13:38:13 as read along with 7 people and 1 group samth jacob cedricboidin pintman pile jwm0123 glaubersp NU-PRL
  • Scrap your boilerplate with class: extensible generic functions
    (2005), pp. 204-215.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to functional-programming generic generic-programming haskell syb types by lomeo on 2007-03-21 13:29:27 as read along with 6 people hamish yallop bec voigt kavabean americovargas
  • Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming
    (2003)
    by Ralf Lämmel, Simon P Jones
    posted to functional-programming generic generic-programming syb types by lomeo on 2007-03-21 13:23:02 as read along with 3 people and 1 group jburnim bringert namin Lambda the Ultimate
  • Scrap More Boilerplate: Reflection, Zips, and Generalised Casts
    by Ralf Lämmel, Simon P Jones
    posted to functional-programming generic generic-programming syb types by lomeo on 2007-03-21 13:21:04 as read along with 1 person jburnim
  • Theorems for Free!
    (1989), pp. 347-359.
    by Philip Wadler
    posted to free-theorems functional-programming haskell type-theory types by lomeo on 2007-03-21 13:16:21 as read along with 15 people and 2 groups samth dherman JacquesC greenrd rwtodd zednenem msakai ryanc tov jwm0123 KarlKlose cdiggins dfisher americovargas pedagand NU-PRL SRG_at_UCD
  • 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 folding functional-programming haskell higher-order-functions types by lomeo on 2007-03-21 13:05:29 as read along with 26 people and 4 groups rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai scis0000001 brothers calvins armintroy dhag Porges conal cdiggins mmarcus jimburton namin dvgb jkominek pedagand SRL SRG_at_UCD complogic Lambda the Ultimate
  • How to make ad-hoc polymorphism less ad-hoc
    (January 1989), pp. 60-76.
    by P Wadler, S Blott
    posted to functional-programming generic generic-programming haskell type-classes type-theory types by lomeo on 2006-03-29 15:00:09 as **** along with 5 people msakai tov gds SamB gkuan
  • Typed Contracts for Functional Programming
    by Ralf Hinze, Johan Jeuring, Andres Löh
    posted to functional-programming generic generic-programming haskell type-classes types by lomeo on 2006-03-28 08:36:45 as ****
  • "Scrap Your Boilerplate" Reloaded
    by Ralf Hinze, Andres Löh, Bruno
    posted to functional-programming generic generic-programming haskell syb type-classes types by lomeo on 2006-03-28 08:35:59 as ****
  • Type Inference for Generic Haskell
    by Alexey Rodriguez, Johan Jeuring, Andres Löh
    posted to functional-programming generic generic-programming haskell type-classes types by lomeo on 2006-03-28 08:34:49 as ****
  • Generic views on data types
    by Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
    posted to functional-programming generic generic-programming haskell type-classes types by lomeo on 2006-03-28 08:33:46 as ****
  • Open data types and open functions
    by Andres Löh, Ralf Hinze
    posted to functional-programming generic generic-programming haskell type-classes types by lomeo on 2006-03-28 08:32:19 as **** along with 2 people and 1 group dherman Leho NU-PRL
  • "Scrap Your Boilerplate" Revolutions
    (March 2006)
    by Ralf Hinze, Andres Löh
    posted to functional-programming generic generic-programming haskell syb type-classes types by lomeo on 2006-03-28 08:26:29 as ****
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/lomeo/tag/types

    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.