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

zednenem haskell [49 articles]

最近 zednenem さんのライブラリに追加された論文の中から タグ haskell. You can also see everyone's haskell.
  • Dictionary-free overloading by partial evaluation
    (1994), pp. 107-117.
    by Mark P Jones
    posted to haskell partial-evaluation type-classes by zednenem on 2008-08-27 01:04:33 as read
  • Embedding Prolog In Haskell
    by Michael Spivey, Silvija Seres
    posted to haskell logic-programming by zednenem on 2008-08-26 05:06:09 as read
  • Lazy Functional State Threads
    (1994), pp. 24-35.
    by John Launchbury, Simon
    posted to haskell lazy-evaluation monads by zednenem on 2008-07-28 06:25:10 as **
  • Algebra of Logic Programming
    (1999), pp. 184-199.
    by Silvija Seres, Michael J Spivey, CAR Hoare
    posted to haskell logic-programming by zednenem on 2008-07-19 04:00:06 as read
  • Deriving backtracking monad transformers
    ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197.
    by Ralf Hinze
    posted to backtracking haskell monads monad-transformers by zednenem on 2008-05-31 01:42:18 as read
  • Derivable type classes
    (2000)
    by R Hinze, S Jones
    posted to generic-programming haskell type-classes by zednenem on 2007-08-02 11:36:58 as ** along with 3 people spl conal americovargas
  • A Functional Programming Technique for Forms in Graphical User Interfaces
    Implementation and Application of Functional Languages (2005), pp. 35-51.
    by Sander Evers, Peter Achten, Jan Kuper
    posted to composable-references fp gui haskell by zednenem on 2007-06-05 02:56:45 as read
  • Polytypic Functional Programming and Data abstraction
    (January 2006)
    by Pablo N Iglesias
    posted to generic-programming haskell by zednenem on 2007-04-07 00:47:52 as read
  • An Introduction to Category Theory, Category Theory Monads, and Their Relationship to Functional Programming
    by Jonathan MD Hill, Keith Clarke
    posted to category-theory fp haskell monads by zednenem on 2007-03-28 02:36:39 as read along with 9 people and 1 group draganigajic ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
  • Reactive Objects for Haskell
    (November 2004)
    by Stefan Heimann, Matthias Neubauer
    posted to oop haskell concurrency by zednenem on 2007-01-10 00:49:40 as read along with 2 people jrw AndreasSchropp
  • notes RepLib: a library for derivable type classes
    (2006), pp. 1-12.
    by Stephanie Weirich
    posted to generic-programming haskell by zednenem on 2006-12-19 16:49:20 as read along with 3 people spl keigoi huitseeker
  • Gast: Generic automated software testing
    (2002)
    by P Koopman, A Alimarine, J Tretmans, R Plasmeijer
    posted to haskell testing by zednenem on 2006-11-14 05:16:54 as ** along with 1 person JeffreyPalmer
  • Computational Comonads and Intensional Semantics
    Vol. 177 (1992), pp. 1-44.
    by Stephen Brookes, Shai Geva
    edited by MP Fourman, PT Johnstone, AM Pitts
    posted to category-theory comonads haskell semantics by zednenem on 2006-08-24 07:24:39 as *** along with 6 people and 1 group dherman jrw msakai dmitri83 EdwardKmett meiersi NU-PRL
  • Scrap your Nameplate - Functional Pearl
    by James Cheney
    posted to generic-programming haskell by zednenem on 2006-06-05 19:52:29 as read along with 4 people jrw jburnim EdwardKmett AndreasSchropp
  • Continuations for parallel logic programming
    (2000), pp. 257-267.
    by Eneia Todoran, Nikolaos Papaspyrou
    posted to concurrency haskell logic-programming by zednenem on 2006-06-02 19:16:56 as read along with 1 person scis0000001
  • A language-based approach to unifying events and threads
    by Peng Li, Steve Zdancewic
    posted to concurrency continuations events haskell by zednenem on 2006-05-30 15:35:42 as read along with 1 person jrw
  • Pattern Guards and Transformational Patterns
    (2000)
    by M Erwig, Peyton SL Jones
    posted to haskell by zednenem on 2006-02-10 06:44:27 as ** along with 1 person jrw
  • notes Haskell is not not ML
    (2006)
    by Ben Rudiak-Gould, Alan Mycroft, Simon P Jones
    posted to continuations haskell intermediate-language ml by zednenem on 2006-01-23 19:21:02 as *** along with 3 people josefs scook0 EdwardKmett
  • Applicative Programming with Effects
    by Conor Mcbride, Ross Paterson
    posted to effects haskell monads by zednenem on 2006-01-15 07:44:37 as **** along with 6 people pedagand josefs mstone bringert conal croys
  • wxHaskell: a portable and concise GUI library for haskell
    (2004), pp. 57-68.
    by Daan Leijen
    posted to gui haskell by zednenem on 2006-01-04 02:51:17 as *** along with 2 people jrw kowey
  • Bootstrapping One-sided Flexible Arrays
    by Ralf Hinze
    posted to haskell purely-functional-data-structures by zednenem on 2005-10-19 05:26:45 as ** along with 1 person conal
  • Dynamic Applications From the Ground Up
    by Don Stewart, Manuel MT Chakravarty
    posted to dynamic-linking haskell by zednenem on 2005-10-15 21:13:08 as read along with 4 people JeffreyPalmer jrw tautologico josefs
  • notes Grammatical Framework
    J. Funct. Program., Vol. 14, No. 2. (March 2004), pp. 145-189.
    by Aarne Ranta
    posted to grammar haskell logic natural-language zippers by zednenem on 2005-10-09 16:49:34 as ** along with 4 people josefs kavabean bringert richardlp
  • Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine
    Journal of Functional Programming, Vol. 2, No. 2. (1992), pp. 127-202.
    by Simon L Peyton-Jones
    posted to compilation haskell intermediate-language lazy-evaluation by zednenem on 2005-10-05 02:04:17 as ** along with 7 people JeffreyPalmer jrw damaru benchambers jpetry donniejones18 spl
  • Code optimisation techniques for lazy functional languages
    by Urban Boquist
    posted to compilation haskell intermediate-language optimization by zednenem on 2005-09-24 05:38:51 as *** along with 4 people jrw cedricboidin pejo MattOConnor
  • notes Boxy type inference for higher-rank types and impredicativity
    by Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-Jones
    posted to haskell higher-ranked-types impredicative-types type-inference by zednenem on 2005-09-23 06:59:30 as read
  • Typeful symbolic differentiation of compiled functions
    by Oleg Kiselyov
    posted to haskell symbolic-math type-classes by zednenem on 2005-09-17 02:43:09 as read
  • Asynchronous Exceptions in Haskell
    (2001), pp. 274-285.
    by Simon Marlow, Simon, Andrew Moran, John H Reppy
    posted to concurrency exceptions haskell by zednenem on 2005-09-09 16:52:21 as **** along with 3 people JeffreyPalmer kinaba neuralwarp
  • Proof methods for corecursive programs
    Fundamenta Informaticae, Vol. 66, No. 4. (April/May 2005), pp. 353-366.
    by Jeremy Gibbons, Graham Hutton
    posted to algebraic-reasoning corecursion haskell by zednenem on 2005-09-03 06:35:22 as ** along with 2 people and 1 group greenrd jrw SRG_at_UCD
  • notes TypeCase: A Design Pattern for Type-Indexed Functions
    by Bruno C Oliveira, Jeremy Gibbons
    posted to haskell type-indexed-types typecase by zednenem on 2005-09-03 02:24:38 as read
  • Bridging the algorithm gap: A linear-time functional program for paragraph formatting
    Science of Computer Programming, Vol. 35, No. 1. (1999), pp. 3-27.
    by Oege de Moor, Jeremy Gibbons
    posted to algorithms haskell text-formatting by zednenem on 2005-09-03 02:20:17 as read
  • Typed logical variables in Haskell
    (2000)
    by K Claessen, P Ljungl
    posted to embedding haskell logic-programming by zednenem on 2005-09-02 04:38:45 as read along with 3 people msakai jsala AndreasSchropp
  • Associated Type Synonyms
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones
    posted to associated-types haskell type-classes by zednenem on 2005-08-31 17:16:18 as read
  • Associated types with class
    (2005), pp. 1-13.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones, Simon Marlow
    posted to associated-types haskell type-classes by zednenem on 2005-08-31 17:10:01 as read along with 10 people and 2 groups samth greenrd bec voigt msakai bonotake spl gkuan americovargas jpbernardy NU-PRL SRG_at_UCD
  • Typing dynamic typing
    Vol. 37, No. 9. (September 2002), pp. 157-166.
    by Arthur I Baars, Doaitse S Swierstra
    posted to dynamic-typing haskell type-coercion type-equality by zednenem on 2005-08-31 01:11:57 as read along with 4 people and 1 group twleung dherman tautologico americovargas NU-PRL
  • Imperative streams--a monadic combinator library for synchronous programming
    Vol. 34, No. 1. (January 1998), pp. 261-272.
    by Enno Scholz
    posted to concurrency haskell monads by zednenem on 2005-08-26 22:22:02 as **** along with 5 people and 1 group twleung greenrd JeffreyPalmer jrw josefs SRG_at_UCD
  • Applicative translucent functors in Haskell (sharing by name)
    by Oleg Kiselyov, Chung-Chieh Shan
    posted to applicative-functors haskell modules ocaml transluscent-functors by zednenem on 2005-08-26 22:18:12 as read
  • Applicative translucent functors in Haskell
    by Oleg Kiselyov
    posted to abstract-types applicative-functors haskell modules ocaml transluscent-functors by zednenem on 2005-08-26 22:15:20 as read
  • Macros and Preprocessing in Haskell
    (1999)
    by K Wansbrough
    posted to haskell macros metaprogramming by zednenem on 2005-08-25 21:09:22 as read along with 4 people and 1 group dherman jrw ryanc dfisher NU-PRL
  • notes Bridging the Gulf: A Common Intermediate Language for ML and Haskell
    (1998), pp. 49-61.
    by Simon L Peyton-Jones, Mark Shields, John Launchbury, Andrew P Tolmach
    posted to haskell intermediate-language ml by zednenem on 2005-08-16 05:14:38 as read
  • Optimising Embedded DSLs using Template Haskell
    (October 2004), pp. 186-205.
    by Sean Seefried, Manuel Chakravarty, Gabriele Keller
    posted to dsl edsl haskell metaprogramming pan staged-programming template-haskell by zednenem on 2005-08-15 15:35:38 as read along with 3 people and 1 group dherman jacob cedricboidin NU-PRL
  • Inferring type isomorphisms generically
    by F Atanassow, J Jeuring
    posted to generic-programming haskell type-isomorphisms xml by zednenem on 2005-08-14 22:33:57 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • Monadic Parsing in Haskell
    Journal of Functional Programming, Vol. 8, No. 4. (1998)
    by Graham Hutton, Erik Meijer
    posted to haskell monads parsing by zednenem on 2005-08-14 06:19:16 as read along with 7 people and 1 group draganigajic jrw damaru msakai bunge cognominal namin Lambda the Ultimate
  • Sound and Decidable Type Inference for Functional Dependencies
    (2004)
    by Gregory J Duck, Simon Peyton-Jones, Peter J Stuckey, Martin Sulzmann
    posted to fp fundeps haskell type-classes by zednenem on 2005-08-13 10:08:25 as read along with 1 person tov
  • Programming Paradigms of the Andorra Kernel Language
    (1991), pp. 167-186.
    by Sverker Janson, Seif Haridi
    edited by Vijay Saraswat, Kazunori Ueda
    posted to fp haskell logic-programming multiparadigm oz by zednenem on 2005-08-01 17:39:56 as **
  • notes Codata and Comonads in Haskell
    (1999)
    by Richard Kieburtz
    posted to codata comonads haskell by zednenem on 2005-07-31 19:19:50 as read along with 7 people and 2 groups dherman JacquesC greenrd cedricboidin msakai bonotake mcclurmc NU-PRL SRG_at_UCD
  • First class modules for Haskell
    (2002)
    by M Shields, S Jones
    posted to haskell modules by zednenem on 2005-07-30 05:31:16 as read along with 1 person and 1 group dherman NU-PRL
  • A monadic combinator compiler compiler
    (2001)
    by C Camarao, L Figueiredo
    posted to haskell monads parsing by zednenem on 2005-06-24 19:07:11 as ** along with 4 people and 1 group twleung JacquesC JeffreyPalmer tautologico NU-PRL
  • A monadic framework for subcontinuations
    by Kent R Dybvig, Simon Peyton-Jones, Amr Sabry
    posted to continuation haskell monads by zednenem on 2005-06-24 19:05:21 as read along with 1 person jrw
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/zednenem/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.