ask others

The Journal of Functional Programming, Volume 20

> Home > Journals > The Journal of Functional Programming

Volume 20, Number 1, January 2010

Functional Pearls

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Gibbons10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Gibbons10
Jeremy Gibbons:
Editorial. 1

Educational Pearl

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/ClementsF10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/ClementsF10
John Clements, Kathi Fisler:
"Little language" project modules. 3-18

Articles

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/GayV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/GayV10
Simon J. Gay, Vasco Thudichum Vasconcelos:
Linear type theory for asynchronous session types. 19-50
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/LindleyWY10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/LindleyWY10
Sam Lindley, Philip Wadler, Jeremy Yallop:
The arrow calculus. 51-69
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/SewellNOPRSS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/SewellNOPRSS10
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

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Wazny10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Wazny10
Jeremy Wazny:
Experience report: Functional programming in C-Rules. 123-136
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/ZiarekJ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/ZiarekJ10
Lukasz Ziarek, Suresh Jagannathan:
Lightweight checkpointing for concurrent ML. 137-173
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/VytiniotisW10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/VytiniotisW10
Dimitrios Vytiniotis, Stephanie Weirich:
Parametricity, type equality, and higher-order polymorphism. 175-210

Volume 20, Numbers 3-4, July 2010

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Hinze10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Hinze10
Ralf Hinze:
Special Issue on Generic Programming Editorial. 211-212
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/VerbruggenVH10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/VerbruggenVH10
Wendy Verbruggen, Edsko de Vries, Arthur Hughes:
Formal polytypic programs and proofs. 213-269
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/BernardyJZS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/BernardyJZS10
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zalewski, Sibylle Schupp:
Generic programming with C++ concepts and Haskell type classes - a comparison. 271-302
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/OliveiraG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/OliveiraG10
Bruno C. d. S. Oliveira, Jeremy Gibbons:
Scala for generic programmers. 303-352
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/HuttonJG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/HuttonJG10
Graham Hutton, Mauro Jaskelioff, Andy Gill:
Factorising folds for faster functions. 353-373
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/NoortYHJHM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/NoortYHJHM10
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 2008

Editorial

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/ThiemannN08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/ThiemannN08
Peter Thiemann, Henrik Nilsson:
Special Issue Dedicated to ICFP 2008 Editorial. 415-416

Articles

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/SpoonhowerBHG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/SpoonhowerBHG08
Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons:
Space profiling for parallel functional programs. 417-461
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/Hinze08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/Hinze08
Ralf Hinze:
Concrete stream calculus: An extended study. 463-535
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/FluetRRS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/FluetRRS08
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw:
Implicitly threaded parallelism in Manticore. 537-576
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jfp/DolstraLP08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jfp/DolstraLP08
Eelco Dolstra, Andres Löh, Nicolas Pierron:
NixOS: A purely functional Linux distribution. 577-615

maintained by

at