JFP 2006

30 papers

1. A reflective functional language for hardware design and theorem proving · Jim Grundy, Thomas F. Melham, John W. O'Leary
2. Calculating PSSM probabilities with lazy dynamic programming · Ketil Malde, Robert Giegerich
3. Consistency of the theory of contexts · Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann
4. Educational Pearl: 'Proof-directed debugging' revisited for a first-order version · Kwangkeun Yi
5. Educational Pearl: Automata via macros · Shriram Krishnamurthi
6. Educational Pearl: Biological sequence similarity · David Wakeling
7. Efficient manipulation of binary data using pattern matching · Per Gustafsson, Konstantinos Sagonas
8. Featherweight generic confinement · Alex Potanin, James Noble, Dave Clarke, Robert Biddle
9. Finger trees: a simple general-purpose data structure · Ralf Hinze, Ross Paterson
10. Functional Pearl: A program to solve Sudoku · Richard S. Bird
11. Functional Pearl: Enumerating the rationals · Jeremy Gibbons, David R. Lester, Richard S. Bird
12. Functional Pearl: Marble mingling · Sharon A. Curtis
13. Functional Pearls: Finding celebrities: A lesson in functional programming · Richard S. Bird, Sharon A. Curtis
14. Functional Pearls: Probabilistic functional programming in Haskell · Martin Erwig, Steve Kollmansberger
15. Gencel: a program generator for correct spreadsheets · Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein
16. Generics for the masses · Ralf Hinze
17. Introduction · Kathleen Fisher
18. Making a fast curry: push/enter vs. eval/apply for higher-order languages · Simon Marlow, Simon L. Peyton Jones
19. Monadic regions · Matthew Fluet, Greg Morrisett
20. Multi-return function call · Olin Shivers, David Fisher
21. Phantom types and subtyping · Matthew Fluet, Riccardo Pucella
22. Pure type systems with judgemental equality · Robin Adams
23. Regular expression filters for XML · Haruo Hosaya
24. Remarks on the equational theory of non-normalizing pure type systems · Gilles Barthe, Thierry Coquand
25. Slideshow: functional presentations · Robert Bruce Findler, Matthew Flatt
26. Sound and complete models of contracts · Matthias Blume, David A. McAllester
27. Static analysis for path correctness of XML queries · Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
28. Theoretical Pearl: A simple proof of a folklore theorem about delimited control · Dariusz Biernacki, Olivier Danvy
29. Type-based confinement · Tian Zhao, Jens Palsberg, Jan Vitek
30. Type-safe run-time polytypic programming · Stephanie Weirich