JFP 2009

36 papers

1. A domain-specific language for experimental game theory · Eric Walkingshaw, Martin Erwig
2. Algebra of programming in Agda: Dependent types for relational program derivation · Shin-Cheng Mu, Hsiang-Shang Ko, Patrik Jansson
3. Algebras for combinatorial search · J. Michael Spivey
4. An induction principle for nested datatypes in intensional type theory · Ralph Matthes
5. Big-step normalisation · Thorsten Altenkirch, James Chapman
6. Categorical semantics for arrows · Bart Jacobs, Chris Heunen, Ichiro Hasuo
7. Coherence of subsumption for monadic types · Jan Schwinghammer
8. Commercial uses: Going functional on exotic trades · Simon Frankau, Diomidis Spinellis, Nick Nassuphis, Christoph Burgard
9. Control effects as a modality · Hayo Thielecke
10. Editorial · Xavier Leroy
11. Editorial · Xavier Leroy, Matthias Felleisen
12. Essentials of Programming Languages (third edition) by Daniel P. Friedman and Mitchell Wand, MIT Press, ISBN 978-0-262-06279-4, 2008 · Olaf Chitil
13. FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum · Robert Harper
14. Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages · Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
15. First-class patterns · C. Barry Jay, Delia Kesner
16. From natural semantics to C: A formal derivation of two STG machines · Alberto de la Encina, Ricardo Peña-Marí
17. Gabriel-Ulmer duality and Lawvere theories enriched over a general base · Stephen Lack, John Power
18. Implementing a normalizer using sized heterogeneous types · Andreas Abel
19. Linear, bounded, functional pretty-printing · S. Doaitse Swierstra, Olaf Chitil
20. Monadic constraint programming · Tom Schrijvers, Peter J. Stuckey, Philip Wadler
21. Parameterised notions of computation · Robert Atkey
22. Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp · Peter Gammie
23. Preface · Conor McBride, Tarmo Uustalu
24. Programming Erlang - Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X · Krishna Sankar
25. Programming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5 · Saketh Bhamidipati
26. Purely Functional 1-2 Brother Trees · Ralf Hinze
27. Regular-expression derivatives re-examined · Scott Owens, John H. Reppy, Aaron Turon
28. Small-step and big-step semantics for call-by-need · Keiko Nakata, Masahito Hasegawa
29. Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141 · Anthony M. Sloane
30. The Bird Tree · Ralf Hinze
31. The Genuine Sieve of Eratosthenes · Melissa E. O'Neill
32. The essence of the Iterator pattern · Jeremy Gibbons, Bruno C. d. S. Oliveira
33. The lambda-calculus with constructors: Syntax, confluence and separation · Ariel Arbiser, Alexandre Miquel, Alejandro Ríos
34. The worker/wrapper transformation · Andy Gill, Graham Hutton
35. Type-safe higher-order channels with channel locality · Sungwoo Park, Hyeonseung Im
36. Type-safe pattern combinators · Morten Rhiger