JFP 2015

24 papers

1. A representation theorem for second-order functionals · Mauro Jaskelioff, Russell O'Connor
2. CUFP'13 scribe's report · Marius Eriksen, Michael Sperber, Anil Madhavapeddy
3. Calculating a linear-time solution to the densest-segment problem · Sharon A. Curtis, Shin-Cheng Mu
4. Calculating correct compilers · Patrick Bahr, Graham Hutton
5. Counting and generating terms in the binary lambda calculus · Katarzyna Grygiel, Pierre Lescanne
6. Efficient parallel and incremental parsing of practical context-free languages · Jean-Philippe Bernardy, Koen Claessen
7. Evaluation of splittable pseudo-random generators · Hans Georg Schaathun
8. Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm · Jesús Aransay, Jose Divasón
9. Generating constrained random data with uniform distribution · Koen Claessen, Jonas Duregård, Michal H. Palka
10. How to mingle streams · Richard S. Bird
11. Indexed containers · Thorsten Altenkirch, Neil Ghani, Peter G. Hancock, Conor McBride, Peter Morris
12. Interleaving data and effects · Robert Atkey, Patricia Johann
13. Mtac: A monad for typed tactic programming in Coq · Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
14. PhD Abstracts · Graham Hutton
15. PhD Abstracts · Graham Hutton
16. PhD abstracts · Graham Hutton
17. Pure type systems with explicit substitutions · Daniel Fridlender, Miguel Pagano
18. Review of "A functional start to computing with Python", Ted Herman, CRC Press, 2014, ISBN 978-1-4665-0455-4 · Amanda Clare
19. Review of "Learn you some Erlang for great good! A beginner's guide", by Fred Hébert, No Starch Press, 2013, £26.80 (paperback), ISBN: 978-1-59327-435-1 · Shane Hudson
20. Teaching types with a cognitively effective worked example format · Ville Tirronen, Ville Isomöttönen
21. Thinking Functionally with Haskell by Richard Bird, Cambridge University Press, 2014 · Torsten Grust
22. Type-based amortized resource analysis with integers and arrays · Jan Hoffmann, Zhong Shao
23. Understanding beginners' mistakes with Haskell · Ville Tirronen, Samuel Uusi-Mäkelä, Ville Isomöttönen
24. Verified decision procedures for MSO on words based on derivatives of regular expressions · Dmitriy Traytel, Tobias Nipkow