default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Functional Programming, Volume 21
Volume 21, Number 1, January 2011
- Peter Achten:
The Soccer-Fun project. 1-19
- Sungwoo Park, Hyeonseung Im
:
A calculus for hardware description. 21-58 - Mary Sheeran:
Functional and dynamic programming in the design of parallel prefix networks. 59-114
- Peter Gammie:
Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin. 115-117
Volume 21, Number 2, March 2011
- Richard S. Bird:
Building a consensus: A rectangle covering problem. 119-128 - Maarten M. Fokkinga:
The Hough transform. 129-133
- Oliver Friedmann, Martin Lange:
More on balanced diets. 135-157 - Johannes Borgström, Andrew D. Gordon, Riccardo Pucella:
Roles, stacks, histories: A triple for Hoare. 159-207 - Peter Gammie:
Short note: Strict unwraps make worker/wrapper fusion totally correct. 209-213
- Jurriaan Hage:
Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages, by Terence Parr, Pragmatic Bookshelf, http://www.pragprog.com, ISBN 9781934356456. 215-217 - Willem de Jong:
Foundations of F# Robert Pickering, Apress, 2007 ISBN 10: 1-59059-757-5. 217-218
Volume 21, Number 3, May 2011
- Ralf Hinze:
Typed quote/antiquote or: Compile-time parsing. 219-234
- Andrew M. Pitts:
Structural recursion with locally scoped names. 235-286 - Yoichi Hirai, Kazuhiko Yamamoto:
Balancing weight-balanced trees. 287-307 - Barney Stratford:
A combinator library for the design of railway track layouts. 309-329
Volume 21, Numbers 4-5, September 2011
- Andrew P. Tolmach, Xavier Leroy:
Special Issue Dedicated to ICFP 2009 Editorial. 331-332
- Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann:
OutsideIn(X) Modular type inference with local assumptions. 333-412 - Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan:
Purely functional lazy nondeterministic programming. 413-465 - Hai Liu, Eric Cheng, Paul Hudak:
Causal commutative arrows. 467-496 - Georg Neis, Derek Dreyer, Andreas Rossberg:
Non-parametric parametricity. 497-562
Volume 21, Number 6, November 2011
- Matti Nykänen:
A note on the genuine Sieve of Eratosthenes. 563-572 - Wouter Swierstra:
Sorted - Verifying the Problem of the Dutch National Flag in Agda. 573-583
- Norman Ramsey:
Embedding an interpreted language using higher-order functions and types. 585-615 - Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shifting the stage - Staging with delimited control. 617-662
- Jacques Carette:
Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574. 663-664 - Toni Cebrián:
How to think about algorithms, by Jeff Edmonds, Cambridge University Press, ISBN 0521614104. 664-666
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:
