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

AndreasSchropp library [25 articles]

最近 AndreasSchropp さんのライブラリ .
  • 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
  • Comprehending Queries
    (1999)
    by T Grust
    posted to queries monad comprehensions by AndreasSchropp on 2007-01-31 21:55:24 as **** along with 2 people and 1 group zednenem mahler Rightscom
  • 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 jimburton greenrd voigt mgran mcclurmc SRG_at_UCD
  • Backtracking, interleaving, and terminating monad transformers: (functional pearl)
    (2005), pp. 192-203.
    by Oleg Kiselyov, Chung-Chieh Shan, Daniel P Friedman, Amr Sabry
    posted to backtracking continuations control-delimiters logic-programming monad-transformers monads streams by AndreasSchropp on 2007-01-03 14:08:15 as read along with 4 people and 2 groups greenrd voigt mahler msakai Rightscom SRG_at_UCD
  • Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions
    by Yves Bertot, P Casteran
    posted to theorem-proving type-theory verification by AndreasSchropp on 2006-12-25 01:27:37 as ***
  • Denotational semantics: a methodology for language development
    (1986)
    by David A Schmidt
    posted to denotational-semantics by AndreasSchropp on 2006-12-23 19:48:02 as ***
  • Proofs and types
    (1989)
    by Jean-Yves Girard, Paul Taylor, Yves Lafont
    posted to logic type-theory by AndreasSchropp on 2006-12-22 22:51:48 as **** along with 2 people alec jonathlela
  • Communicating and Mobile Systems: the Pi-Calculus
    (15 June 1999)
    by Robin Milner
    posted to algebra calculus ccs concurrency pi pi-calculus process process-algebra by AndreasSchropp on 2006-12-22 22:51:10 as ** along with 12 people and 2 groups stagediver bfraser kontakte cogumbreiro osh roland_ewald carmaus mattis23 laurajaros soulism jfischer Grobi dIEMoSIRIS MoSi-Rostock
  • Category theory for computing science
    (1990)
    by Michael Barr, Charles Wells
    posted to category-theory by AndreasSchropp on 2006-12-22 22:49:45 as ***
  • Types and Programming Languages
    (01 March 2002)
    by Benjamin C Pierce
    posted to functional-programming type-theory types by AndreasSchropp on 2006-12-22 22:46:38 as ***** along with 15 people and 2 groups jasmithoffice eaubin greenrd sstrickl cedricboidin dsilva voigt msakai bonotake iga cogumbreiro beschmi robotact srccheck jimburton SRG_at_UCD Lambda the Ultimate
  • Graph Transformations An Introduction to the Categorical Approach
    by Hans J Schneider
    posted to category-theory graph-transformations by AndreasSchropp on 2006-12-22 22:45:13 as ***
  • Cheap (but functional) threads
    Journal of Functional Programming (2004)
    by Bill Harrison
    posted to concurrency monad resumptions threads by AndreasSchropp on 2006-12-22 22:41:03 as read
  • Functional pearl: implicit configurations--or, type classes reflect the values of types
    (2004), pp. 33-44.
    by Oleg Kiselyov, Chung-Chieh Shan
    posted to configuration existential-types faking-dependent-types higher-rank-polymorphism implicit-parameters polymorphism-recursion type-classes by AndreasSchropp on 2006-12-22 22:30:10 as read along with 5 people and 1 group hellige greenrd yallop zednenem 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
  • The Theory and Practice of Concurrency
    (1997)
    by AW Roscoe, CAR Hoare, Richard Bird
    posted to csp hoare roscoe by AndreasSchropp on 2006-12-22 22:07:31 as ***
  • Transactional events
    SIGPLAN Not., Vol. 41, No. 9. (September 2006), pp. 124-135.
    by Kevin Donnelly, Matthew Fluet
    posted to concurrency first-class-events monads synchronous-message-passing transactions by AndreasSchropp on 2006-12-22 21:57:16 as *****
  • 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
  • Composable memory transactions
    (2005), pp. 48-60.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones, Maurice Herlihy
    posted to concurrency jones parallel stm by AndreasSchropp on 2006-12-22 21:54:29 as *** along with 15 people and 2 groups hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 neilc pjdonald janschaefer kazuya pedagand brecknell SRG_at_UCD TU-KL-SoftwareTechnologyGroup
  • Purely functional data structures
    (1998)
    by Chris Okasaki
    posted to algorithms data-structures functional-programming by AndreasSchropp on 2006-12-22 21:52:39 as ***** along with 5 people JeffreyPalmer muli msakai kozaki jimburton
  • 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 mcclurmc dherman msakai NU-PRL
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/AndreasSchropp

    RIS BibTeX RSS
    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.