Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

spl library [115 articles]

Статьи, недавно добавленные в библиотеку spl .
  • Representing Cyclic Structures as Nested Datatypes
    pp. 173-188.
    by Neil Ghani, Makoto Hamana, Tarmo Uustalu, Varmo Vene
    edited by Henrik Nilsson
    posted to nested-datatypes data-structures cyclic by spl on 2008-07-22 11:13:54 as **
  • Hardware Design and Functional Programming: a Perfect Match
    Journal of Universal Computer Science, Vol. 11, No. 7. (July 2005), pp. 1135-1158.
    by Mary Sheeran
    posted to hardware-description functional-programming by spl on 2008-06-29 19:00:20 as ** along with 2 people mmuecke SamB
  • 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 ***
  • notes Analytical and Structural Polymorphism Expressed Using Patterns Over Types
    (1992)
    by Karl F Ruehr
    posted to type-inference thesis pattern-matching parametric-polymorphism datatype-generic by spl on 2008-06-11 17:30:43 as **
  • PolyLib---a library of polytypic functions
    (18 July 1998)
    by Patrik Jansson, Johan Jeuring
    edited by Roland Backhouse, Tim Sheard
    posted to zip transpose libraries generics datatype-generic bifunctors by spl on 2008-06-11 16:36:49 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 **
  • Functor Pulling
    (18 July 1998)
    by Lambert Meertens
    edited by Roland Backhouse, Tim Sheard
    posted to transpose generics functors crush category-theory by spl on 2008-06-06 15:47:32 as ***
  • An Empirical Comparison of Seven Programming Languages
    Computer, Vol. 33, No. 10. (October 2000), pp. 23-29.
    by Lutz Prechelt
    posted to programming-language comparison by spl on 2008-06-06 14:30:01 as ** along with 2 people perceptron mldechert
  • Law and Order in Algorithmics
    (February 1992)
    by Maarten M Fokkinga
    posted to program-calculation category-theory algorithms by spl on 2008-06-06 14:07:50 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 **
  • Views: A way for pattern matching to cohabit with data abstraction
    (1987), pp. 307-313.
    by Philip Wadler
    posted to views pattern-matching miranda abstraction by spl on 2008-06-06 09:03:55 as *** along with 4 people and 1 group samth dherman robennals dfisher NU-PRL
  • Computational Thinking
    Communications of the ACM, Vol. 49, No. 3. (March 2006), pp. 33-35.
    by Jeannette M Wing
    posted to education computer-science computational-thinking by spl on 2008-06-05 19:19:55 as read along with 4 people hawkestein kistijantoro smogit AlisonBabeu
  • Scooping the Loop Snooper
    Mathematics Magazine, Vol. 73, No. 4. (October 2000), pp. 319-320.
    by Geoffrey K Pullum
    posted to undecidability poetry halting-problem by spl on 2008-06-05 14:33:32 as read
  • Uniform Boilerplate and List Processing
    (2007), pp. 49-60.
    by Neil Mitchell, Colin Runciman
    posted to traversals generics boilerplate by spl on 2008-06-02 13:11:08 as *** along with 1 person sebfisch
  • 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
  • notes "Memo" Functions and Machine Learning
    Nature, Vol. 218, No. 5136. (6 April 1968), pp. 19-22.
    by Donald Michie
    posted to memoization by spl on 2008-05-30 21:40:36 as **
  • The Implementation of Functional Programming Languages
    (01 May 1987)
    by Simon P Jones
    posted to type-checking strictness-analysis semantics pattern-matching parallel-programming miranda list-comprehensions lambda-calculus interpreters implementation graph-reduction garbage-collection functional-programming compilers by spl on 2008-05-30 13:46:20 as **** along with 3 people tautologico Benja benchambers
  • 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 *
  • Lazy Memo-functions
    Functional Programming Languages and Computer Architecture (1985), pp. 129-146.
    by John Hughes
    posted to non-strict-evaluation memoization by spl on 2008-05-28 15:14:53 as *
  • The Semantic Elegance of Applicative Languages
    (October 1981), pp. 85-92.
    by David A Turner
    posted to semantics non-strict-evaluation memoization list-comprehensions higher-order-functions by spl on 2008-05-28 14:18:38 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
  • Algorithm + Strategy = Parallelism
    Journal of Functional Programming, Vol. 8, No. 01. (2000), pp. 23-60.
    by PW Trinder, K Hammond, HW Loidl, Simon P Jones
    posted to parallel-programming non-strict-evaluation algorithms by spl on 2008-05-23 08:40:46 as ** along with 2 people voronov mcclurmc
  • Towards a practical programming language based on dependent type theory
    (2007)
    by Ulf Norell
    posted to thesis dependent-types agda by spl on 2008-05-22 10:42:47 as ***
  • Definitional Interpreters for Higher-Order Programming Languages
    (1972), pp. 717-740.
    by John C Reynolds
    posted to lambda-calculus interpreters higher-order-functions continuations call-by-value call-by-name by spl on 2008-05-22 10:30:19 as ** along with 3 people kschiess jespera calvins
  • 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 P Jones
    posted to non-strict-evaluation functional-programming compilers by spl on 2008-05-14 08:32:11 as *** along with 7 people JeffreyPalmer jrw zednenem damaru benchambers jpetry donniejones18
  • Functional Unparsing
    Journal of Functional Programming, Vol. 8, No. 6. (November 1998), pp. 621-625.
    by Olivier Danvy
    posted to unparsers printf parsers ml by spl on 2008-05-13 09:27:24 as ** along with 3 people msakai keigoi cognominal
  • Calculate Polytypically!
    (1996), pp. 1-16.
    by Lambert Meertens
    posted to generics datatype-generic crush catamorphism by spl on 2008-04-29 10:31:42 as **
  • 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
  • An Approach to Fast Arrays in Haskell
    Advanced Functional Programming (2003), pp. 27-58.
    by Manuel M Chakravarty, Gabriele Keller
    posted to unboxed-values rewriting performance fusion combinators arrays by spl on 2008-04-23 19:16:11 as ** along with 1 person wtribbey
  • Fun with phantom types
    (27 March 2003), pp. 245-262.
    by Ralf Hinze
    edited by Jeremy Gibbons, Oege de Moor
    posted to phantom-types generics dynamically-typed by spl on 2008-04-23 18:22:43 as ** along with 2 people thsutton jimburton
  • 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 **
  • Generic Haskell: Practice and Theory
    Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 1-56.
    by Ralf Hinze, Johan Jeuring
    posted to generic-haskell by spl on 2008-04-23 11:06:08 as *** along with 2 people msakai yallop
  • Generic Haskell: Applications
    Lecture Notes in Computer Science: Generic Programming, Vol. 2793 (2003), pp. 57-96.
    by Ralf Hinze, Johan Jeuring
    posted to zipper xml generics generic-haskell dictionaries datatype-generic by spl on 2008-04-23 11:02:06 as ***
  • Simple unification-based type inference for GADTs
    (2006), pp. 50-61.
    by Simon P Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn
    posted to gadts type-inference unification wobbly-types by spl on 2008-04-22 08:32:54 as ** along with 3 people bringert shimomura mcclurmc
  • 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 **
  • Generic Views on Data Types
    Mathematics of Program Construction (July 2006), pp. 209-234.
    by Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
    posted to views generics generic-haskell datatype-generic by spl on 2008-04-21 09:44: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 **
  • Imperative functional programming
    (1993), pp. 71-84.
    by Simon P Jones, Philip Wadler
    posted to functional-programming imperative-programming input-output monads by spl on 2008-04-19 18:52:28 as ** along with 1 person linekin
  • notes A Theory of Type Polymorphism in Programming
    Journal of Computer and System Sciences, Vol. 17 (1978), pp. 348-375.
    by Robin Milner
    posted to ml parametric-polymorphism semantics type-safety by spl on 2008-04-19 16:55:12 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
  • Exploring Generic Haskell
    (2004)
    by Andres Löh
    posted to datatype-generic generic-haskell generics thesis type-indexed type-inference views by spl on 2008-04-15 13:09:01 as ***
  • 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
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/spl

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