default search action
The Journal of Functional Programming, Volume 19
Volume 19, Number 1, January 2009
- S. Doaitse Swierstra, Olaf Chitil:
Linear, bounded, functional pretty-printing. 1-16 - Hayo Thielecke:
Control effects as a modality. 17-26 - Simon Frankau, Diomidis Spinellis
, Nick Nassuphis, Christoph Burgard:
Commercial uses: Going functional on exotic trades. 27-45 - Alberto de la Encina
From natural semantics to C: A formal derivation of two STG machines. 47-94 - Melissa E. O'Neill:
The Genuine Sieve of Eratosthenes. 95-106 - Sungwoo Park, Hyeonseung Im
Type-safe higher-order channels with channel locality. 107-142
Volume 19, Number 2, March 2009
- Xavier Leroy:
Editorial. 143 - Morten Rhiger:
Type-safe pattern combinators. 145-156 - Jan Schwinghammer:
Coherence of subsumption for monadic types. 157-172 - Scott Owens
Regular-expression derivatives re-examined. 173-190 - C. Barry Jay, Delia Kesner:
First-class patterns. 191-225 - Andy Gill, Graham Hutton
The worker/wrapper transformation. 227-251 - Anthony M. Sloane:
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141. 253-254 - Peter Gammie:
Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp. 254-256 - Saketh Bhamidipati:
Programming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5. 256-259 - Krishna Sankar:
Programming Erlang - Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X. 259-261 - Robert Harper:
FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum. 262
Volume 19, Numbers 3-4, July 2009
- Conor McBride
Preface. 263-264 - Stephen Lack
Gabriel-Ulmer duality and Lawvere theories enriched over a general base. 265-286 - Andreas Abel:
Implementing a normalizer using sized heterogeneous types. 287-310 - Thorsten Altenkirch
Big-step normalisation. 311-333 - Robert Atkey
Parameterised notions of computation. 335-376 - Jeremy Gibbons
The essence of the Iterator pattern. 377-402 - Bart Jacobs, Chris Heunen, Ichiro Hasuo
Categorical semantics for arrows. 403-438 - Ralph Matthes
An induction principle for nested datatypes in intensional type theory. 439-468 - J. Michael Spivey:
Algebras for combinatorial search. 469-487
Volume 19, Number 5, September 2009
- Xavier Leroy, Matthias Felleisen:
Editorial. 489-490
- Ralf Hinze:
The Bird Tree. 491-508
- Jacques Carette
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. 509-543 - Shin-Cheng Mu
Algebra of programming in Agda: Dependent types for relational program derivation. 545-579 - Ariel Arbiser, Alexandre Miquel, Alejandro Ríos:
The lambda-calculus with constructors: Syntax, confluence and separation. 581-631
Volume 19, Number 6, November 2009
- Ralf Hinze:
Purely Functional 1-2 Brother Trees. 633-644 - Eric Walkingshaw, Martin Erwig
A domain-specific language for experimental game theory. 645-661
- Tom Schrijvers
Monadic constraint programming. 663-697 - Keiko Nakata, Masahito Hasegawa
Small-step and big-step semantics for call-by-need. 699-722
- Olaf Chitil:
Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008. 723-725
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: