JFP 2012

26 papers

1. A compiled implementation of normalisation by evaluation · Klaus Aehlig, Florian Haftmann, Tobias Nipkow
2. A unified treatment of syntax with binders · Nicolas Pouillard, François Pottier
3. Bookreview JFP: Domain-Specific Languages by Martin Fowler The Addison Wesley Signature Series · Jurriaan Hage
4. CUFP 2011 Workshop Report · Anil Madhavapeddy, Yaron Minsky, Marius Eriksen
5. Contracts made manifest · Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich
6. 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 · Dusan Kolár
7. Editorial · Matthias Felleisen
8. Editorial - Special issue dedicated to ICFP 2010 · Umut A. Acar, James Cheney, Stephanie Weirich
9. Every bit counts: The binary representation of typed data and programs · Andrew J. Kennedy, Dimitrios Vytiniotis
10. Finally tagless observable recursion for an abstract grammar model · Dominique Devriese, Frank Piessens
11. Fortifying macros · Ryan Culpepper
12. Functional Programming for Java Developers - Tools for Better Concurrency, Abstraction, and Agility, By Wampler, Media, July 2011, ISBN-13: 978-1449311032, 90pp · Neil Brown
13. Generic top-down discrimination for sorting and partitioning in linear time · Fritz Henglein
14. Lazy tree splitting · Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
15. MRI: Modular reasoning about interference in incremental programming · Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook
16. Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts · Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler
17. Manipulating accumulative functions by swapping call-time and return-time computations · Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
18. Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561 · Eerke A. Boiten
19. Proofs for free - Parametricity for dependent types · Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson
20. Pure Type System conversion is always typable · Vincent Siles, Hugo Herbelin
21. Semantic subtyping with an SMT solver · Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
22. Steps in Scala: An introduction to Object-Functional Programming By Loverdos, Apostolos Syropoulos, Cambridge University Press, 2010, 504 pp, ISBN 0521747589 · Toni Cebrián
23. Systematic abstraction of abstract machines · David Van Horn, Matthew Might
24. The Reduceron reconfigured and re-evaluated · Matthew Naylor, Colin Runciman
25. The impact of higher-order state and control effects on local relational reasoning · Derek Dreyer, Georg Neis, Lars Birkedal
26. When Maybe is not good enough · J. Michael Spivey