ICFP 2015

37 papers

1. 1ML - core and modules united (F-ing first-class modules) · Andreas Rossberg
2. A fast compiler for NetKAT · Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
3. A unification algorithm for Coq featuring universe polymorphism and overloading · Beta Ziliani, Matthieu Sozeau
4. Adaptive lock-free maps: purely-functional to scalable · Ryan R. Newton, Peter P. Fogg, Ali Varamesh
5. Algebras and coalgebras in the light affine Lambda calculus · Marco Gaboardi, Romain Péchoux
6. An optimizing compiler for a purely functional web-application language · Adam Chlipala
7. Analysing the complexity of functional programs: higher-order meets first-order · Martin Avanzini, Ugo Dal Lago, Georg Moser
8. Applicative bidirectional programming with lenses · Kazutaka Matsuda, Meng Wang
9. Automatic refunctionalization to a language with copattern matching: with applications to the expression problem · Tillmann Rendel, Julia Trieflinger, Klaus Ostermann
10. Blame assignment for higher-order contracts with intersection and union · Matthias Keil, Peter Thiemann
11. Bounded refinement types · Niki Vazou, Alexander Bakst, Ranjit Jhala
12. Certified symbolic management of financial multi-party contracts · Patrick Bahr, Jost Berthold, Martin Elsman
13. Denotational cost semantics for functional languages with inductive types · Norman Danner, Daniel R. Licata, Ramyaa
14. Efficient communication and collection with compact normal forms · Edward Z. Yang, Giovanni Campagna, Ömer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton
15. Elaborating evaluation-order polymorphism · Jana Dunfield
16. Expressing contract monitors as patterns of communication · Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt
17. Foundational extensible corecursion: a proof assistant perspective · Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel
18. Functional pearl: a SQL to C compiler in 500 lines of code · Tiark Rompf, Nada Amin
19. Functional pearl: a smart view on datatypes · Mauro Jaskelioff, Exequiel Rivas
20. Functional pearl: two can keep a secret, if one of them uses Haskell · Alejandro Russo
21. Functional programming and hardware design: still interesting after all these years · Mary Sheeran
22. GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness · Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones
23. Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code · Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach
24. HLIO: mixing static and dynamic typing for information-flow control in Haskell · Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
25. Hygienic resugaring of compositional desugaring · Justin Pombrio, Shriram Krishnamurthi
26. Learning refinement types · He Zhu, Aditya V. Nori, Suresh Jagannathan
27. Noninterference for free · William J. Bowman, Amal Ahmed
28. Partial aborts for transactions via first-class continuations · Matthew Le, Matthew Fluet
29. Pilsner: a compositionally verified compiler for a higher-order imperative language · Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis
30. Practical SMT-based type error localization · Zvonimir Pavlinovic, Tim King, Thomas Wies
31. Practical principled FRP: forget the past, change the future, FRPNow! · Atze van der Ploeg, Koen Claessen
32. Program synthesis: opportunities for the next decade · Rastislav Bodík
33. Pycket: a tracing JIT for a functional language · Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek + 1 more
34. RRB vector: a practical general purpose immutable sequence · Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell
35. Structures for structural recursion · Paul Downen, Philip Johnson-Freyd, Zena M. Ariola
36. Which simple types have a unique inhabitant? · Gabriel Scherer, Didier Rémy
37. XQuery and static typing: tackling the problem of backward axes · Pierre Genevès, Nils Gesbert