JFP 2013

23 papers

1. A consistent semantics of self-adjusting computation · Umut A. Acar, Matthias Blume, Jacob Donham
2. A library for polymorphic dynamic typing · Wouter Swierstra, Thomas van Noort
3. An in-situ algorithm for expanding a graph · Richard S. Bird
4. An insider's look at LF type reconstruction: everything you (n)ever wanted to know · Brigitte Pientka
5. Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652 · Laura M. Castro
6. Commercial users of functional programming workshop report · Michael Sperber, Anil Madhavapeddy
7. Contextual equivalence for inductive definitions with binders in higher order typed functional programming · Matthew R. Lakin, Andrew M. Pitts
8. Counting and generating lambda terms · Katarzyna Grygiel, Pierre Lescanne
9. EditorArrow: An arrow-based model for editor-based programming · Peter Achten, Marko C. J. D. van Eekelen, Maarten de Mol, Rinus Plasmeijer
10. Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins · Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
11. Fractal image compression · C. E. Martin, S. A. Curtis
12. How to make ad hoc proof automation less ad hoc · Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer
13. Idris, a general-purpose dependently typed programming language: Design and implementation · Edwin C. Brady
14. Learn You a Haskell for Great Good! A Beginner's Guide, by Miran Lipovaca, No Starch Press, April 2011, ISBN-10: 1593272839; ISBN-13: 978-1593272838, 376 pp · Greg Michaelson
15. Metamorphism in jigsaw · Keisuke Nakano
16. Modular verification of preemptive OS kernels · Alexey Gotsman, Hongseok Yang
17. OCaml from the Very Beginning, by John Whitington, Coherent Press, 2013, £ 25.99, US $37.99. ISBN-10: 0957671105 (paperback), 204 pp · Prabhakar Ragde
18. Pearls of Functional Algorithm Design, by Richard Bird, Cambridge University Press, September 2010, £35.00, US $ 60.00. ISBN: 978052151338 (hardback), 286pp · Ivan Lazar Miljenovic
19. Refactoring tools for functional languages · Simon J. Thompson, Huiqing Li
20. Secure distributed programming with value-dependent types · Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
21. Solving the snake cube puzzle in Haskell · Mark P. Jones
22. Special Issue Dedicated to ICFP 2011 Editorial · Kenichi Asai, Benjamin C. Pierce
23. Syntactic soundness proof of a type-and-capability system with hidden state · François Pottier