registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

spls haskell [53 articles]

Neue Publikationen in spls Bibliothek eingetragen unter dem Bezeichner: haskell. You can also see everyone's haskell.
  • First-class Polymorphism with Type Inference
    (1997), pp. 483-496.
    by Mark P Jones
    posted to type-inference system-f rank-n-polymorphism haskell by spl on 2008-06-20 17:41:44 as **
  • Boxy types: Inference for Higher-Rank Types and Impredicativity
    (2006), pp. 251-262.
    by Dimitrios Vytiniotis, Stephanie Weirich, Simon P Jones
    posted to type-inference type-checking system-f rank-n-polymorphism impredicativity haskell ghc by spl on 2008-06-20 16:48:21 as ** along with 1 person americovargas
  • Perfect trees and bit-reversal permutations
    Journal of Functional Programming, Vol. 10, No. 03. (2000), pp. 305-317.
    by Ralf Hinze
    posted to unfold rank-2-polymorphism performance nested-datatypes haskell fold by spl on 2008-06-11 18:19:57 as ***
  • Polytypic Programming in Haskell
    Implementation of Functional Languages (September 2003), pp. 168-184.
    by Ulf Norell, Patrik Jansson
    posted to type-classes libraries haskell generics datatype-generic by spl on 2008-06-06 16:15:56 as **
  • Functional Pearl: Trouble Shared is Trouble Halved
    (2003), pp. 1-6.
    by Richard Bird, Ralf Hinze
    posted to sharing memoization haskell data-structures by spl on 2008-06-06 09:11:40 as **
  • A Short Cut to Deforestation
    (1993), pp. 223-232.
    by Andrew Gill, John Launchbury, Simon P Jones
    posted to list-comprehensions haskell fusion fold deforestation arrays by spl on 2008-05-31 14:47:19 as ** along with 1 person wtribbey
  • Generalizing generalized tries
    Journal of Functional Programming, Vol. 10, No. 04. (2000), pp. 327-351.
    by Ralf Hinze
    edited by Paul Hudak, Greg Morrisett
    posted to tries rank-2-polymorphism haskell generics datatype-generic by spl on 2008-05-28 17:36:27 as ***
  • Stretching the storage manager: weak pointers and stable names in Haskell
    Implementation of Functional Languages (2000), pp. 37-58.
    by Simon P Jones, Simon Marlow, Conal Elliott
    posted to memoization implementation haskell garbage-collection by spl on 2008-05-28 16:03:25 as **
  • Disposable Memo Functions
    (7 June 1997)
    by Byron Cook, John Launchbury
    posted to semantics non-strict-evaluation memoization lambda-calculus haskell by spl on 2008-05-28 15:51:42 as *
  • A New Approach to Generic Functional Programming
    (2000), pp. 119-132.
    by Ralf Hinze
    posted to type-indexed haskell generics datatype-generic by spl on 2008-05-24 13:17:48 as **
  • Memo functions, polytypically!
    (6 July 2000)
    by Ralf Hinze
    edited by Johan Jeuring
    posted to tries non-strict-evaluation memoization haskell generics datatype-generic by spl on 2008-05-23 10:36:01 as read
  • Modular Generic Programming with Extensible Superclasses
    (2006), pp. 55-65.
    by Martin Sulzmann, Meng Wang
    posted to type-classes haskell generics extensibility by spl on 2008-04-28 08:04:25 as ** along with 1 person jpbernardy
  • Student Paper: HaskellDB Improved
    (2004), pp. 108-115.
    by Björn Bringert, Anders Höckersten, Conny Andersson, Martin Andersson, Mary Bergman, Victor Blomqvist, Torbjörn Martin
    posted to sql haskelldb haskell extensible-records databases combinators by spl on 2008-04-23 18:09:18 as ** along with 1 person bringert
  • Domain Specific Embedded Compilers
    by Daan Leijen, Erik Meijer
    posted to sql phantom-types haskelldb haskell domain-specific-languages databases comprehensions compilers combinators by spl on 2008-04-23 17:58:00 as **
  • First-Class Phantom Types
    No. TR2003-1901. (10 July 2003)
    by James Cheney, Ralf Hinze
    posted to phantom-types haskell generics by spl on 2008-04-23 17:41:46 as **
  • Monadic Parsing in Haskell
    Journal of Functional Programming, Vol. 8, No. 4. (July 1998), pp. 437-444.
    by Graham Hutton, Erik Meijer
    posted to combinators haskell monads parsers by spl on 2008-04-21 10:09:21 as **
  • Implicit Parameters: Dynamic Scoping with Static Types
    (2000), pp. 108-118.
    by Jeffrey R Lewis, John Launchbury, Erik Meijer, Mark B Shields
    posted to call-by-name call-by-need dynamic-scoping haskell implicit-parameters by spl on 2008-04-19 20:40:04 as ** along with 1 person and 1 group greenrd SRG_at_UCD
  • Global Variables in Haskell
    Journal of Functional Programming, Vol. 14, No. 05. (2004), pp. 489-502.
    by John Hughes
    posted to global-variables haskell imperative-programming implicit-parameters monads by spl on 2008-04-19 20:30:44 as **
  • Type Classes with Functional Dependencies
    (2000), pp. 230-244.
    by Mark P Jones
    posted to functional-dependencies haskell type-classes by spl on 2008-04-19 10:46:18 as *** along with 1 person msakai
  • RepLib: A Library for Derivable Type Classes
    (2006), pp. 1-12.
    by Stephanie Weirich
    posted to deriving generics haskell type-classes by spl on 2008-04-12 20:22:11 as ** along with 3 people huitseeker zednenem keigoi
  • Derivable Type Classes
    (17 September 2000)
    by Ralf Hinze, Simon P Jones
    edited by Graham Hutton
    posted to deriving generics haskell type-classes by spl on 2008-04-12 20:09:29 as *** along with 3 people zednenem conal americovargas
  • Associated Type Synonyms
    SIGPLAN Not., Vol. 40, No. 9. (September 2005), pp. 241-253.
    by Manuel MT Chakravarty, Gabriele Keller, Simon P Jones
    posted to associated-types functional-dependencies haskell type-classes by spl on 2008-04-11 13:50:16 as read along with 1 person jpbernardy
  • 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 type-indexed by spl on 2008-04-11 13:45:39 as *** along with 10 people and 2 groups jpbernardy samth greenrd zednenem bec voigt msakai bonotake gkuan americovargas NU-PRL SRG_at_UCD
  • Comparing Approaches to Generic Programming in Haskell
    Datatype-Generic Programming (2007), pp. 72-149.
    by Ralf Hinze, Johan Jeuring, Andres Löh
    posted to comparison datatype-generic generic-haskell generics haskell by spl on 2008-04-04 11:38:26 as read
  • Datatype-Generic Programming
    Datatype-Generic Programming (2007), pp. 1-71.
    by Jeremy Gibbons
    posted to datatype-generic design-patterns generics haskell by spl on 2008-04-03 12:47:52 as read along with 3 people marcinzalewski jpbernardy americovargas
  • Scrap More Boilerplate: Reflection, Zips, and Generalised Casts
    Vol. 39, No. 9. (September 2004), pp. 244-255.
    by Ralf Lämmel, Simon P Jones
    posted to boilerplate generics haskell reflection zip by spl on 2008-03-31 18:46:01 as *** along with 4 people and 2 groups samth greenrd yallop americovargas NU-PRL SRG_at_UCD
  • Prototyping Generic Programming in Template Haskell
    Mathematics of Program Construction (2004), pp. 314-333.
    by Ulf Norell, Patrik Jansson
    posted to generics haskell template-haskell by spl on 2008-03-31 10:59:29 as **
  • Template Meta-programming for Haskell
    SIGPLAN Not., Vol. 37, No. 12. (December 2002), pp. 60-75.
    by Tim Sheard, Simon P Jones
    posted to haskell metaprogramming template-haskell by spl on 2008-03-28 13:18:26 as *** along with 9 people and 2 groups jpbernardy samth marcin msakai kozima keigoi TTSY dhag mcclurmc NU-PRL complogic
  • Post-design Domain-Specific Language Embedding: A Case Study in the Software Engineering Domain
    (2002)
    by A Sloane
    posted to domain-specific-languages haskell software-build by spl on 2008-03-25 10:28:23 as read along with 1 person lange
  • notes Comprehending Monads
    (1990), pp. 61-78.
    by Philip Wadler
    posted to monads list-comprehensions haskell comprehensions by spl on 2008-03-24 18:24:03 as ** along with 1 person keigoi
  • The essence of functional programming
    (1992), pp. 1-14.
    by Philip Wadler
    posted to cps haskell monads by spl on 2008-03-24 18:18:56 as ** along with 12 people and 3 groups assnoodles samth JeffreyPalmer rahul voigt lyongu pintman shilad tmiya mstone calvins hayeah NU-PRL GroupLens SRL
  • Extensible and Modular Generics for the Masses
    Vol. 7 (2006), pp. 199-216.
    by Bruno CDS Oliveira, Ralf Hinze, Andres Löh
    edited by Henrik Nilsson
    posted to type-classes modularity lightweight haskell generics extensibility expression-problem emgm datatype-generic ad-hoc-polymorphism by spl on 2008-03-11 14:18:57 as read along with 1 person americovargas
  • Open Data Types and Open Functions
    (2006), pp. 133-144.
    by Andres Löh, Ralf Hinze
    posted to expression-problem extensibility generics haskell lightweight mutual-recursion open by spl on 2008-02-24 16:19:16 as ** along with 1 person yallop
  • Finger trees: a simple general-purpose data structure
    Journal of Functional Programming, Vol. 16, No. 02. (2005), pp. 197-217.
    by Ralf Hinze, Ross Paterson
    posted to data-structures haskell by spl on 2008-02-19 15:02:03 as ***
  • Extended Static Checking for Haskell
    (2006), pp. 48-59.
    by Dana N Xu
    posted to haskell static-checking verification by spl on 2008-02-18 13:57:23 as ** along with 2 people msakai shimomura
  • Rewriting Haskell Strings
    Practical Aspects of Declarative Languages (2007), pp. 50-64.
    by Duncan Coutts, Don Stewart, Roman Leshchinskiy
    posted to strings streams rewriting performance haskell fusion deforestation by spl on 2008-02-15 16:36:16 as read
  • TypeCase: A Design Pattern for Type-Indexed Functions
    (2005), pp. 98-109.
    by Bruno C Oliveira, Jeremy Gibbons
    posted to design-patterns generics haskell type-classes type-indexed by spl on 2008-02-14 12:55:17 as *** along with 2 people yallop voigt
  • Generics for the Masses
    Vol. 39, No. 9. (September 2004), pp. 236-243.
    by Ralf Hinze
    posted to type-classes haskell generics emgm datatype-generic by spl on 2008-02-14 12:51:10 as read along with 3 people and 1 group samth yallop bringert NU-PRL
  • Lambada, Haskell as a better Java
    Electronic Notes in Theoretical Computer Science, Vol. 41, No. 1. (August 2001), pp. 91-119.
    by Erik Meijer, Sigbjorn Finne
    posted to ffi haskell idl java jni by spl on 2008-02-04 17:51:45 as **
  • Stream fusion: from lists to streams to nothing at all
    (2007), pp. 315-326.
    by Duncan Coutts, Roman Leshchinskiy, Don Stewart
    posted to fusion haskell lists streams by spl on 2008-02-03 18:10:21 as ** along with 1 person fheintz
  • Lazy Functional State Threads
    SIGPLAN Not., Vol. 29, No. 6. (June 1994), pp. 24-35.
    by John Launchbury, Simon P Jones
    posted to concurrency haskell monads mutability non-strict-evaluation parametric-polymorphism rank-2-polymorphism by spl on 2008-02-03 00:23:24 as ***
  • Do we need dependent types?
    Journal of Functional Programming, Vol. 10, No. 4. (July 2000), pp. 409-415.
    by Daniel Fridlender, Mia Indrika
    posted to dependent-types haskell by spl on 2008-01-31 09:33:20 as ** along with 1 person jimburton
  • Hybrid Eager and Lazy Evaluation for Efficient Compilation of Haskell
    (June 2002)
    by Jan-Willem Maessen
    posted to compilers haskell non-strict-evaluation strict-evaluation thesis by spl on 2008-01-28 19:54:38 as **
  • Parsec: Direct Style Monadic Parser Combinators for the Real World
    No. UU-CS-2001-27. (2001)
    by Daan Leijen, Erik Meijer
    posted to combinators haskell monads parsers by spl on 2008-01-28 18:13:12 as **
  • QuickCheck: a lightweight tool for random testing of Haskell programs
    (2000), pp. 268-279.
    by Koen Claessen, John Hughes
    posted to haskell testing by spl on 2008-01-28 16:49:14 as read
  • Google's MapReduce programming model -- Revisited
    Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
    by Ralf Lämmel
    posted to distributed-computing haskell mapreduce parallel-programming sawzall by spl on 2008-01-25 19:19:05 as **** along with 6 people marcinzalewski pdlug jrw JeffreyPalmer AbnerCYH angus
  • notes Clowns to the Left of me, Jokers to the right: Dissecting Data Structures
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 287-295.
    by Conor Mcbride
    posted to zipper haskell generics functors derivatives datatype-generic bifunctors by spl on 2008-01-25 19:05:36 as read along with 2 people beete bobob
  • Weaving a web
    Journal of Functional Programming, Vol. 11, No. 6. (November 2001), pp. 681-689.
    by Ralf Hinze, Johan Jeuring
    posted to haskell zipper by spl on 2008-01-25 18:58:21 as read
  • Monads for incremental computing
    (2002), pp. 26-35.
    by Magnus Carlsson
    posted to adaptive haskell incremental monads by spl on 2008-01-24 16:55:55 as ****
  • Fun with functional dependencies
    (2001)
    by T Hallgren
    posted to functional-dependencies haskell type-classes by spl on 2006-04-15 20:57:23 as ** along with 4 people jimburton huitseeker yallop voigt
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/spl/tag/haskell

    Result page: 1 2 Next 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.