default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Functional Programming, Volume 20
Volume 20, Number 1, January 2010
- Jeremy Gibbons
:
Editorial. 1
- John Clements, Kathi Fisler:
"Little language" project modules. 3-18
- Simon J. Gay, Vasco Thudichum Vasconcelos:
Linear type theory for asynchronous session types. 19-50 - Sam Lindley, Philip Wadler, Jeremy Yallop:
The arrow calculus. 51-69 - Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa:
Ott: Effective tool support for the working semanticist. 71-122
Volume 20, Number 2, March 2010
- Jeremy Wazny:
Experience report: Functional programming in C-Rules. 123-136 - Lukasz Ziarek, Suresh Jagannathan:
Lightweight checkpointing for concurrent ML. 137-173 - Dimitrios Vytiniotis, Stephanie Weirich:
Parametricity, type equality, and higher-order polymorphism. 175-210
Volume 20, Numbers 3-4, July 2010
- Ralf Hinze:
Special Issue on Generic Programming Editorial. 211-212 - Wendy Verbruggen, Edsko de Vries, Arthur Hughes:
Formal polytypic programs and proofs. 213-269 - Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp:
Generic programming with C++ concepts and Haskell type classes - a comparison. 271-302 - Bruno C. d. S. Oliveira, Jeremy Gibbons:
Scala for generic programmers. 303-352 - Graham Hutton, Mauro Jaskelioff, Andy Gill:
Factorising folds for faster functions. 353-373 - Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães:
A lightweight approach to datatype-generic rewriting. 375-413
Volume 20, Numbers 5-6, November 2010
- Peter Thiemann, Henrik Nilsson:
Special Issue Dedicated to ICFP 2008 Editorial. 415-416
- Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons:
Space profiling for parallel functional programs. 417-461 - Ralf Hinze:
Concrete stream calculus: An extended study. 463-535 - Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw:
Implicitly threaded parallelism in Manticore. 537-576 - Eelco Dolstra, Andres Löh, Nicolas Pierron:
NixOS: A purely functional Linux distribution. 577-615
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 2025-12-09 23:39 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:
