default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Functional Programming, Volume 22
Volume 22, Number 1, January 2012
- Anil Madhavapeddy
, Yaron Minsky, Marius Eriksen:
CUFP 2011 Workshop Report. 1-8 - Klaus Aehlig, Florian Haftmann, Tobias Nipkow:
A compiled implementation of normalisation by evaluation. 9-30 - Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy:
Semantic subtyping with an SMT solver. 31-105
Volume 22, Number 2, March 2012
- Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson:
Proofs for free - Parametricity for dependent types. 107-152 - Vincent Siles, Hugo Herbelin:
Pure Type System conversion is always typable. 153-180 - Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler:
Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. 181-216
- Eerke A. Boiten:
Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561. 217-219 - Dusan Kolár:
Drawing Programs: The Theory and Practice of Schematic Functional Programming, by Tom Addis and Jan Addis Springer, 2010, ISBN 978-1-84882-617-5, 379pp. 219-221
Volume 22, Number 3, May 2012
- Matthias Felleisen:
Editorial. 223-224
- Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich:
Contracts made manifest. 225-274 - Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Manipulating accumulative functions by swapping call-time and return-time computations. 275-299 - Fritz Henglein:
Generic top-down discrimination for sorting and partitioning in linear time. 300-374
- Jurriaan Hage:
Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series. 375-377
Volume 22, Numbers 4-5, September 2012
- Umut A. Acar, James Cheney, Stephanie Weirich:
Editorial - Special issue dedicated to ICFP 2010. 379-381
- Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw:
Lazy tree splitting. 382-438 - Ryan Culpepper:
Fortifying macros. 439-476 - Derek Dreyer, Georg Neis, Lars Birkedal:
The impact of higher-order state and control effects on local relational reasoning. 477-528 - Andrew J. Kennedy, Dimitrios Vytiniotis:
Every bit counts: The binary representation of typed data and programs. 529-573 - Matthew Naylor, Colin Runciman:
The Reduceron reconfigured and re-evaluated. 574-613 - Nicolas Pouillard, François Pottier:
A unified treatment of syntax with binders. 614-704 - David Van Horn, Matthew Might:
Systematic abstraction of abstract machines. 705-746
Volume 22, Number 6, November 2012
- J. Michael Spivey:
When Maybe is not good enough. 747-756
- Dominique Devriese, Frank Piessens:
Finally tagless observable recursion for an abstract grammar model. 757-796 - Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook:
MRI: Modular reasoning about interference in incremental programming. 797-852
- Neil Brown:
Functional Programming for Java Developers - Tools for Better Concurrency, Abstraction, and Agility, By Wampler, Media, July 2011, ISBN-13: 978-1449311032, 90pp. 853-854 - Toni Cebrián:
Steps in Scala: An introduction to Object-Functional Programming By Loverdos, Apostolos Syropoulos, Cambridge University Press, 2010, 504 pp, ISBN 0521747589. 854-855
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-26 00:55 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:
