JFP 2014

24 papers

1. A run-time representation of scheme record types · Andrew W. Keep, R. Kent Dybvig
2. Beginning Haskell, by Alejandro Serrano Mena, Apress, New York City, NY, 2014, ISBN-10: 1430262508, 428 pp · Robin Green
3. Computational Semantics with Functional Programming, byJan van Eijck andChristina Unger · Dominic A. Orchard
4. Deletion: The curse of the red-black tree · Kimball Germane, Matthew Might
5. Delimited control and computational effects · Paul Downen, Zena M. Ariola
6. Editorial · Matthias Felleisen
7. Elaborating intersection and union types · Jana Dunfield
8. F-ing modules · Andreas Rossberg, Claudio V. Russo, Derek Dreyer
9. Implicit self-adjusting computation for purely functional programs · Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
10. Introduction to the art of programming using Scala, by Mark C. Lewis, Chapman and Hall/CRC Press, 2012, £ 46.99 (paperback) ISBN-10: 1439896666 · Vlad Patryshev
11. MultiMLton: A multicore-aware runtime for standard ML · K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
12. On the complexity of stream equality · Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi, Grigore Rosu
13. PhD Abstracts · Graham Hutton
14. Proof-producing translation of higher-order logic into pure and stateful ML · Magnus O. Myreen, Scott Owens
15. Propositions as sessions · Philip Wadler
16. Pushdown flow analysis with abstract garbage collection · Dionna Amalie Glaze, Ilya Sergey, Christopher Earl, Matthew Might, David Van Horn
17. Realm of Racket, by Forrest Bice, Rose DeMaio, Spencer Florence, Feng-Yun Mimi Lin, Scott Lindeman, Nicole Nussbaum, Eric Peterson, Ryan Plessner, David Van Horn, Matthias Felleisen and Conrad Barski, MD, No Starch Press, San Franscisco, CA, 2013, £27.49. ISBN-10: 1-59327-491-2 · Matt Jadud
18. Review: Practical Foundations for Programming Languages, by Robert Harper, Cambridge University Press, New York, December2012, English, ISBN-10: 1107029570, Hardcover, 487 pp · David A. Watt
19. Special Issue Dedicated to ICFP 2012: Editorial · Satnam Singh, Robert Bruce Findler
20. Special Issue on Run-Time Systems and Target Platforms for Functional Languages: Editorial · Michael Sperber, Lennart Augustsson
21. Systematic Program Design: From Clarity to Efficiency, by Yanhong Annie Liu, Cambridge University Press, 2013, ISBN: 978-1-107-03660-4 · Michael Sperber
22. The Kansas University rewrite engine - A Haskell-Embedded Strategic Programming Language with Custom Closed Universes · Neil Sculthorpe, Nicolas Frisby, Andy Gill
23. Transporting functions across ornaments · Pierre-Évariste Dagand, Conor McBride
24. Work it, wrap it, fix it, fold it · Neil Sculthorpe, Graham Hutton