registrieren | anmelden | FAQ      [?] 

Tag haskell [409 articles]

Recent papers classified by the tag haskell.
  • 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
  • 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 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
  • 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
  • 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 spl JeffreyPalmer jrw damaru benchambers jpetry donniejones18
  • 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
  • Deriving backtracking monad transformers
    ACM SIG\-PLAN Notices, Vol. 35, No. 9. (2000), pp. 186-197.
    by Ralf Hinze
    posted to monad-transformers monads haskell backtracking by zednenem on 2008-05-31 01:42:18 as read
  • 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 6 people and 1 group jrw damaru msakai bunge cognominal namin Lambda the Ultimate
  • 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
  • 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
  • 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 mcclurmc dherman JacquesC greenrd cedricboidin msakai bonotake NU-PRL SRG_at_UCD
  • 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 2 people spl keigoi
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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 jpbernardy samth greenrd bec voigt msakai bonotake spl gkuan americovargas 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
  • 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 8 people and 1 group ansobol jrw proportional jutaro glaubersp mathcoq ps_ttf namin Lambda the Ultimate
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Efficient Persistent Haskell
    (1998)
    by A Davie, K Hammond, J Quintela
    posted to haskell by yang on 2007-03-26 07:36:12 as ** along with 2 people and 1 group sclv rgb pileWorks
  • A transformation-based optimiser for Haskell
    Science of Computer Programming, Vol. 32, No. 1--3. (1998), pp. 3-47.
    by Simon, André LM Santos
    posted to haskell by yang on 2007-10-31 04:19:28 as **
  • Strongly typed heterogeneous collections
    (2004), pp. 96-107.
    by Oleg Kiselyov, Ralf L&\#228;mmel, Keean Schupke
    posted to haskell tuples typing by yallop on 2005-04-23 15:46:47 as ** along with 8 people and 1 group msakai shimomura marcinzalewski JacquesC spl tov iff americovargas NU-PRL
  • Scrap your boilerplate: a practical design pattern for generic programming
    Vol. 38, No. 3. (March 2003), pp. 26-37.
    by Ralf L&\#228;mmel, Simon P Jones
    posted to generics haskell typing by yallop on 2005-04-23 13:44:08 as ** along with 3 people and 2 groups samth greenrd americovargas NU-PRL SRG_at_UCD
  • Type Classes with Functional Dependencies
    (2000), pp. 230-244.
    by Mark P Jones
    posted to haskell typing by yallop on 2005-05-07 00:48:58 as ** along with 1 person americovargas
  • Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators
    Lecture Notes in Computer Science, Vol. 1551 (1999), pp. 76-90.
    by Wolfram Kahl
    posted to typesetting layout haskell functional-programming by voronov on 2008-05-02 23:00:49 as **
  • Haskell as an Automation Controller
    (1998), pp. 268-289.
    by Daan Leijen, Erik Meijer, James Hook
    posted to fp haskell plc by voronov on 2007-12-15 10:11:47 as **
  • Algorithm + strategy = parallelism
    Journal of Functional Programming, Vol. 8, No. 01. (2000), pp. 23-60.
    by PW Trinder, K Hammond, HW Loidl, Peyton
    posted to haskell hdv hpc parallel by voronov on 2008-03-26 10:59:46 as ** along with 2 people spl mcclurmc
  • Bananas in space: extending fold and unfold to exponential types
    (1995), pp. 324-333.
    by Erik Meijer, Graham Hutton
    posted to category-theory denotational-semantics free-theorems functional-programming generic-programming haskell polymorphism type-classes types by voigt on 2006-05-08 11:27:35 as ** along with 4 people and 1 group JacquesC jyasskin msakai dmitri83 NU-PRL
  • Fun with functional dependencies
    (2001)
    by T Hallgren
    posted to functional-dependencies functional-programming haskell logic-programming type-classes types by voigt on 2006-10-06 12:03:23 as ** along with 2 people yallop spl
  • Eager Haskell: resource-bounded execution yields efficient iteration
    (2002), pp. 38-50.
    by Jan-Willem Maessen
    posted to compilers functional-programming haskell laziness lazy-evaluation selective-strictness seq strict-evaluation by voigt on 2005-09-26 07:54:18 as ** along with 2 people and 1 group greenrd MattOConnor SRG_at_UCD
  • The essence of functional programming
    (1992), pp. 1-14.
    by Philip Wadler
    posted to functional-programming haskell monads side-effects types by voigt on 2005-09-22 08:44:22 as read along with 12 people and 3 groups assnoodles samth JeffreyPalmer rahul lyongu pintman shilad spl tmiya mstone calvins hayeah NU-PRL GroupLens SRL
  • Haskell's overlooked object system
    (10 Sep 2005)
    by Oleg Kiselyov, Ralf Lämmel
    posted to functional-programming haskell objects polymorphism subtyping type-classes types by voigt on 2005-09-13 14:16:56 as ** along with 4 people and 1 group greenrd AndreasSchropp mgran mcclurmc SRG_at_UCD
  • Parametricity and Unboxing with Unpointed Types
    Vol. 1058 (1996), pp. 204-218.
    by John Launchbury, Ross Paterson
    edited by Hanne R Nielson
    posted to denotational-semantics free-theorems functional-programming haskell logical-relations parametricity polymorphism seq type-classes types by voigt on 2005-09-09 12:58:40 as read
  • Functional array fusion
    Vol. 36, No. 10. (October 2001), pp. 205-216.
    by Manuel MT Chakravarty, Gabriele Keller
    posted to functional-programming haskell optimization by voigt on 2005-09-09 12:43:37 as ** along with 4 people and 1 group greenrd balicea tov wtribbey SRG_at_UCD
  • Monadic regions
    Vol. 39, No. 9. (September 2004), pp. 103-114.
    by Matthew Fluet, Greg Morrisett
    posted to functional-programming haskell monads parametricity polymorphism side-effects types by voigt on 2005-09-13 12:22:01 as ** along with 4 people and 1 group JeffreyPalmer zednenem josefs mahler Rightscom
  • Using Circular Programs to Deforest in Accumulating Parameters
    Higher-Order and Symbolic Computation, Vol. 17, No. 1 - 2. (March 2004), pp. 129-163.
    by Janis Voigtländer
    posted to accumulating-parameters circular-programs deforestation functional-programming haskell laziness lazy-evaluation multiple-traversals optimization program-transformation tree-transducers tupling by voigt on 2005-09-09 09:59:46 as read
  • notes Composition of functions with accumulating parameters
    Journal of Functional Programming, Vol. 14, No. 3. (May 2004), pp. 317-363.
    by Janis Voigtländer, Armin Kühnemann
    posted to accumulating-parameters attribute-grammars deforestation functional-programming haskell optimization program-transformation tree-transducers by voigt on 2005-09-09 09:57:05 as read along with 1 person pejo
  • notes Free theorems in the presence of seq
    SIGPLAN Notices, Vol. 39, No. 1. (January 2004), pp. 99-110.
    by Patricia Johann, Janis Voigtländer
    edited by Neil D Jones, Xavier Leroy
    posted to denotational-semantics free-theorems functional-programming haskell laziness lazy-evaluation logical-relations parametricity polymorphism program-transformation rank-2 selective-strictness seq shortcut-deforestation strict-evaluation types by voigt on 2005-09-09 09:52:24 as read
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/haskell

    Result page: 1 2 3 4 5 6 7 8 9 Next 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.