JFP 2016

24 papers

1. A characterization of lambda-terms transforming numerals · Pawel Parys
2. A language for hierarchical data parallel design-space exploration on GPUs · Bo Joel Svensson, Ryan R. Newton, Mary Sheeran
3. Composable scheduler activations for Haskell · K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones
4. Efficiency of lambda-encodings in total type theory · Aaron Stump, Peng Fu
5. Eliminating dependent pattern matching without K · Jesper Cockx, Dominique Devriese, Frank Piessens
6. Gradual type-and-effect systems · Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
7. Homotopical patch theory · Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper
8. Linear lambda terms as invariants of rooted trivalent maps · Noam Zeilberger
9. OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler · Xavier Clerc
10. Oracle-guided scheduling for controlling granularity in implicitly parallel languages · Umut A. Acar, Arthur Charguéraud, Mike Rainey
11. PAEAN: Portable and scalable runtime support for parallel Haskell dialects · Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond
12. PhD Abstracts · Graham Hutton
13. PhD Abstracts · Graham Hutton
14. Preface for special section from FLOPS 2014 · Michael Codish, Eijiro Sumii
15. Reasoning about multi-stage programs · Jun Inoue, Walid Taha
16. Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7 · Simon J. Thompson
17. Romeo: A system for more flexible binding-safe programming · Paul Stansifer, Mitchell Wand
18. Safe zero-cost coercions for Haskell · Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich
19. Skeleton composition versus stable process systems in Eden · Mischa Dieterle, Thomas Horstmeyer, Rita Loogen, Jost Berthold
20. Special issue dedicated to ICFP 2014: Editorial · Derek Dreyer, Mary Sheeran
21. Testing noninterference, quickly · Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes + 2 more
22. Transparent fault tolerance for scalable functional computation · Robert J. Stewart, Patrick Maier, Phil Trinder
23. Unifying structured recursion schemes - An Extended Study · Ralf Hinze, Nicolas Wu
24. Well-founded recursion with copatterns and sized types · Andreas Abel, Brigitte Pientka