新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

AndreasSchropp haskell [10 articles]

最近 AndreasSchropp さんのライブラリに追加された論文の中から タグ haskell. You can also see everyone's haskell.
  • Scrap your Nameplate - Functional Pearl
    by James Cheney
    posted to generic-programming haskell by AndreasSchropp on 2007-04-12 02:25:33 as **** along with 4 people jrw zednenem jburnim EdwardKmett
  • A theory of overloading
    ACM Trans. Program. Lang. Syst., Vol. 27, No. 6. (November 2005), pp. 1216-1269.
    by Peter J Stuckey, Martin Sulzmann
    posted to functional-dependencies haskell overloading type-classes by AndreasSchropp on 2007-03-15 18:02:15 as **** along with 1 person yallop
  • a language-based approach to unifying events and threads
    by Peng Li, Steve Zdancewic
    posted to concurrency haskell by AndreasSchropp on 2007-02-23 02:36:59 as read
  • Typed logical variables in Haskell
    (2000)
    by K Claessen, P Ljungl
    posted to logic-programming haskell backtracking by AndreasSchropp on 2007-01-19 17:21:26 as **** along with 3 people zednenem msakai jsala
  • Software extension and integration with type classes
    (2006), pp. 161-170.
    by Ralf Lämmel, Klaus Ostermann
    posted to decomposition-problem design-patterns expression-problem framework-integration haskell multiple-dispatch software-extension software-integration type-classes by AndreasSchropp on 2007-01-04 00:43:05 as ****
  • Haskell's overlooked object system
    (10 Sep 2005)
    by Oleg Kiselyov, Ralf Laemmel
    posted to haskell objects oop polymorphism records subtyping type-classes by AndreasSchropp on 2007-01-04 00:34:13 as read along with 5 people and 1 group greenrd voigt mgran mcclurmc jimburton SRG_at_UCD
  • ML Modules and Haskell Type Classes: A Constructive Comparison
    Journal for Functional Programming (2006)
    by Stefan Wehr, Manuel
    posted to haskell modules typeclasses by AndreasSchropp on 2006-12-22 22:26:54 as ***
  • Reactive Objects for Haskell
    (November 2004)
    by Stefan Heimann, Matthias Neubauer
    posted to concurrency haskell objects reactive by AndreasSchropp on 2006-12-22 22:22:25 as read along with 2 people jrw zednenem
  • Sound and Decidable Type Inference for Functional Dependencies
    Lecture Notes in Computer Science : Programming Languages and Systems (2004), pp. 49-63.
    by Gregory J Duck, Simon Peyton-Jones, Peter J Stuckey, Martin Sulzmann
    posted to fundeps haskell type-inference typeclasses typing by AndreasSchropp on 2006-12-22 21:54:56 as ** along with 1 person yallop
  • Deriving backtracking monad transformers
    ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197.
    by Ralf Hinze
    posted to backtracking haskell logic-programming monad-transformers monads by AndreasSchropp on 2006-12-22 21:50:31 as **** along with 3 people and 1 group dherman msakai mcclurmc NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/AndreasSchropp/tag/haskell

    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.