JFP 2011

26 papers

1. A calculus for hardware description · Sungwoo Park, Hyeonseung Im
2. A combinator library for the design of railway track layouts · Barney Stratford
3. A note on the genuine Sieve of Eratosthenes · Matti Nykänen
4. Balancing weight-balanced trees · Yoichi Hirai, Kazuhiko Yamamoto
5. Building a consensus: A rectangle covering problem · Richard S. Bird
6. Causal commutative arrows · Hai Liu, Eric Cheng, Paul Hudak
7. Embedding an interpreted language using higher-order functions and types · Norman Ramsey
8. Foundations of F# Robert Pickering, Apress, 2007 ISBN 10: 1-59059-757-5 · Willem de Jong
9. Functional and dynamic programming in the design of parallel prefix networks · Mary Sheeran
10. Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574 · Jacques Carette
11. How to think about algorithms, by Jeff Edmonds, Cambridge University Press, ISBN 0521614104 · Toni Cebrián
12. Language Implementation Patterns: Create your own Domain-Specific and General Programming Languages, by Terence Parr, Pragmatic Bookshelf, http://www.pragprog.com, ISBN 9781934356456 · Jurriaan Hage
13. More on balanced diets · Oliver Friedmann, Martin Lange
14. Non-parametric parametricity · Georg Neis, Derek Dreyer, Andreas Rossberg
15. OutsideIn(X) Modular type inference with local assumptions · Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann
16. Purely functional lazy nondeterministic programming · Sebastian Fischer, Oleg Kiselyov, Chung-chieh Shan
17. Review: Lambda-Calculus and Combinators: An Introduction, Second Edition by J. R. Hindley and J. P. Seldin · Peter Gammie
18. Roles, stacks, histories: A triple for Hoare · Johannes Borgström, Andrew D. Gordon, Riccardo Pucella
19. Shifting the stage - Staging with delimited control · Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
20. Short note: Strict unwraps make worker/wrapper fusion totally correct · Peter Gammie
21. Sorted - Verifying the Problem of the Dutch National Flag in Agda · Wouter Swierstra
22. Special Issue Dedicated to ICFP 2009 Editorial · Andrew P. Tolmach, Xavier Leroy
23. Structural recursion with locally scoped names · Andrew M. Pitts
24. The Hough transform · Maarten M. Fokkinga
25. The Soccer-Fun project · Peter Achten
26. Typed quote/antiquote or: Compile-time parsing · Ralf Hinze