JFP 2004

43 papers

1. "An Introduction to Computing with Haskell" by Manuel M. T. Chakravarty and Gabrielle C. Keller, Pearson SprintPrint, 2002, ISBN 1 74009 404 2 · Mike Thomas
2. "Practical Aspects of Declarative Languages" by Shriram Krishnamurthi and C. R. Ramakrishnan (eds.), LNCS 2257, Springer-Verlag, 2002. ISBN 3-540-43092-X · Eugene Wallingford
3. "Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000 · Chris Reade
4. Building reliable, high-performance networks with the Nuprl proof development system · Christoph Kreitz
5. Calculating the Sieve of Eratosthenes · Lambert G. L. T. Meertens
6. Composing fractals · Mark P. Jones
7. Composition of functions with accumulating parameters · Janis Voigtländer, Armin Kühnemann
8. Computer literacy via Scheme and web programming · Timothy J. Hickey
9. Concurrent distinct choices · Sergio Antoy, Michael Hanus
10. Constructed product result analysis for Haskell · Clement A. Baker-Finch, Kevin Glynn, Simon L. Peyton Jones
11. Dependent types ensure partial correctness of theorem provers · Andrew W. Appel, Amy P. Felty
12. Derivation of a logarithmic time carry lookahead addition circuit · John T. O'Donnell, Gudula Rünger
13. Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003 · Frédéric Loulergue
14. Editorial · Paul Hudak, Greg Morrisett
15. Enumerating the strings of regular languages · M. Douglas McIlroy
16. Escape from Zurg: an exercise in logic programming · Martin Erwig
17. Functional chart parsing of context-free grammars · Peter Ljunglöf
18. Functional programming with the FC++ library · Brian McNamara, Yannis Smaragdakis
19. Functional satisfaction · Luc Maranget
20. Global variables in Haskell · John Hughes
21. Grammatical Framework · Aarne Ranta
22. Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming · Gilles Barthe, Peter Dybjer, Peter Thiemann
23. Inverting the Burrows-Wheeler transform · Richard S. Bird, Shin-Cheng Mu
24. Knowledge Representation, Reasoning and Declarative Problem Solving by C. Baral, Cambridge University Press, 2003 · Nimish Shah
25. Linear lambda calculus and PTIME-completeness · Harry G. Mairson
26. Linearization of the lambda-calculus and its relation with intersection type systems · Mário Florido, Luís Damas
27. On tiling a chessboard · Richard S. Bird
28. Parallel Parsing Processes · Koen Claessen
29. Parsing permutation phrases · Arthur I. Baars, Andres Löh, S. Doaitse Swierstra
30. Pickler combinators · Andrew Kennedy
31. Program Construction: Calculating Implementations from Specifications by R.C. Backhouse, John Wiley & Sons, 2004 · Nimish Shah
32. Programming Methodology A. McIver and C. Morgan, editors, Springer-Verlag, 2002 · John Derrick
33. Reasoning About Program Transformations: Imperative Programming and Flow of Data by Jean-Francois Collard, Springer-Verlag, 2003 · Mike Thomas
34. Special issue on functional pearls Editorial · Ralf Hinze
35. The Fun of Programming edited by Jeremy Gibbons and Oege de Moor, Palgrave Macmillan, 2003 · Peter G. Hancock
36. The Functional "C" experience · Pieter H. Hartel, Henk L. Muller, Hugh Glaser
37. The recursive record semantics of objects revisited · Gérard Boudol
38. The risks and benefits of teaching purely functional programming in first year · Manuel M. T. Chakravarty, Gabriele Keller
39. The structure and interpretation of the computer science curriculum · Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
40. The view from the left · Conor McBride, James McKinna
41. Transformation techniques for context-sensitive rewrite systems · Jürgen Giesl, Aart Middeldorp
42. Two-level types and parameterized modules · Tim Sheard, Emir Pasalic
43. Type-safe cast · Stephanie Weirich