Powered by
Conference Publishing Consulting

20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015), August 31 – September 2, 2015, Vancouver, BC, Canada

ICFP 2015 – Author Index

Contents - Abstracts - Authors

A B C D E F G H J K L M N O P R S T U V W Y Z

Ağacan, Ömer S. ICFP'15: "Efficient Communication and ..."
Ahmed, Amal ICFP'15: "Noninterference for Free ..."
Amin, Nada ICFP'15: "Functional Pearl: A SQL to ..."
Ariola, Zena M. ICFP'15: "Structures for Structural ..."
Avanzini, Martin ICFP'15: "Analysing the Complexity of ..."
Bagwell, Phil ICFP'15: "RRB Vector: A Practical General ..."
Bahr, Patrick ICFP'15: "Certified Symbolic Management ..."
Bakst, Alexander ICFP'15: "Bounded Refinement Types ..."
Bauman, Spenser ICFP'15: "Pycket: A Tracing JIT for ..."
Berthold, Jost ICFP'15: "Certified Symbolic Management ..."
Blanchette, Jasmin Christian ICFP'15: "Foundational Extensible Corecursion: ..."
Bodik, Rastislav ICFP'15: "Program Synthesis: Opportunities ..."
Bolz, Carl Friedrich ICFP'15: "Pycket: A Tracing JIT for ..."
Bowman, William J. ICFP'15: "Noninterference for Free ..."
Buiras, Pablo ICFP'15: "HLIO: Mixing Static and Dynamic ..."
Campagna, Giovanni ICFP'15: "Efficient Communication and ..."
Chlipala, Adam ICFP'15: "An Optimizing Compiler for ..."
Claessen, Koen ICFP'15: "Practical Principled FRP: ..."
Dal Lago, Ugo ICFP'15: "Analysing the Complexity of ..."
Danner, Norman ICFP'15: "Denotational Cost Semantics ..."
Downen, Paul ICFP'15: "Structures for Structural ..."
Dreyer, Derek ICFP'15: "Pilsner: A Compositionally ..."
Dubach, Christophe ICFP'15: "Generating Performance Portable ..."
Dunfield, Joshua ICFP'15: "Elaborating Evaluation-Order ..."
El-Hassany, Ahmed ICFP'15: "Efficient Communication and ..."
Eliopoulos, Spiridon ICFP'15: "A Fast Compiler for NetKAT ..."
Elsman, Martin ICFP'15: "Certified Symbolic Management ..."
Fensch, Christian ICFP'15: "Generating Performance Portable ..."
Fluet, Matthew ICFP'15: "Partial Aborts for Transactions ..."
Fogg, Peter P. ICFP'15: "Adaptive Lock-Free Maps: Purely-Functional ..."
Foster, Nate ICFP'15: "A Fast Compiler for NetKAT ..."
Gaboardi, Marco ICFP'15: "Algebras and Coalgebras in ..."
Genevès, Pierre ICFP'15: "XQuery and Static Typing: ..."
Gesbert, Nils ICFP'15: "XQuery and Static Typing: ..."
Guha, Arjun ICFP'15: "A Fast Compiler for NetKAT ..."
Hirschfeld, Robert ICFP'15: "Pycket: A Tracing JIT for ..."
Hur, Chung-Kil ICFP'15: "Pilsner: A Compositionally ..."
Jagannathan, Suresh ICFP'15: "Learning Refinement Types ..."
Jaskelioff, Mauro ICFP'15: "Functional Pearl: A Smart ..."
Jhala, Ranjit ICFP'15: "Bounded Refinement Types ..."
Johnson-Freyd, Philip ICFP'15: "Structures for Structural ..."
Jones, Simon Peyton ICFP'15: "GADTs Meet Their Match: Pattern-Matching ..."
Kaiser, Jan-Oliver ICFP'15: "Pilsner: A Compositionally ..."
Karachalias, Georgios ICFP'15: "GADTs Meet Their Match: Pattern-Matching ..."
Keil, Matthias ICFP'15: "Blame Assignment for Higher-Order ..."
King, Tim ICFP'15: "Practical SMT-Based Type Error ..."
Kirilichev, Vasily ICFP'15: "Pycket: A Tracing JIT for ..."
Krishnamurthi, Shriram ICFP'15: "Hygienic Resugaring of Compositional ..."
Kulkarni, Abhishek ICFP'15: "Efficient Communication and ..."
Le, Matthew ICFP'15: "Partial Aborts for Transactions ..."
Licata, Daniel R. ICFP'15: "Denotational Cost Semantics ..."
Lindley, Sam ICFP'15: "Generating Performance Portable ..."
Matsuda, Kazutaka ICFP'15: "Applicative Bidirectional ..."
McLaughlin, Craig ICFP'15: "Pilsner: A Compositionally ..."
Moser, Georg ICFP'15: "Analysing the Complexity of ..."
Neis, Georg ICFP'15: "Pilsner: A Compositionally ..."
Newton, Ryan R. ICFP'15: "Adaptive Lock-Free Maps: Purely-Functional ..." ICFP'15: "Efficient Communication and ..."
Nori, Aditya V. ICFP'15: "Learning Refinement Types ..."
Ostermann, Klaus ICFP'15: "Automatic Refunctionalization ..."
Pape, Tobias ICFP'15: "Pycket: A Tracing JIT for ..."
Pavlinovic, Zvonimir ICFP'15: "Practical SMT-Based Type Error ..."
Péchoux, Romain ICFP'15: "Algebras and Coalgebras in ..."
Ploeg, Atze van der ICFP'15: "Practical Principled FRP: ..."
Pombrio, Justin ICFP'15: "Hygienic Resugaring of Compositional ..."
Popescu, Andrei ICFP'15: "Foundational Extensible Corecursion: ..."
Ramyaa, Ramyaa ICFP'15: "Denotational Cost Semantics ..."
Rémy, Didier ICFP'15: "Which Simple Types Have a ..."
Rendel, Tillmann ICFP'15: "Automatic Refunctionalization ..."
Rivas, Exequiel ICFP'15: "Functional Pearl: A Smart ..."
Rompf, Tiark ICFP'15: "RRB Vector: A Practical General ..." ICFP'15: "Functional Pearl: A SQL to ..."
Rossberg, Andreas ICFP'15: "1ML – Core and Modules United ..."
Russo, Alejandro ICFP'15: "Functional Pearl: Two Can ..." ICFP'15: "HLIO: Mixing Static and Dynamic ..."
Sabry, Amr ICFP'15: "Expressing Contract Monitors ..."
Scherer, Gabriel ICFP'15: "Which Simple Types Have a ..."
Schrijvers, Tom ICFP'15: "GADTs Meet Their Match: Pattern-Matching ..."
Sheeran, Mary ICFP'15: "Functional Programming and ..."
Siek, Jeremy G. ICFP'15: "Pycket: A Tracing JIT for ..."
Smolka, Steffen ICFP'15: "A Fast Compiler for NetKAT ..."
Sozeau, Matthieu ICFP'15: "A Unification Algorithm for ..."
Steuwer, Michel ICFP'15: "Generating Performance Portable ..."
Stucki, Nicolas ICFP'15: "RRB Vector: A Practical General ..."
Swords, Cameron ICFP'15: "Expressing Contract Monitors ..."
Thiemann, Peter ICFP'15: "Blame Assignment for Higher-Order ..."
Tobin-Hochstadt, Sam ICFP'15: "Pycket: A Tracing JIT for ..." ICFP'15: "Expressing Contract Monitors ..."
Traytel, Dmitriy ICFP'15: "Foundational Extensible Corecursion: ..."
Trieflinger, Julia ICFP'15: "Automatic Refunctionalization ..."
Ureche, Vlad ICFP'15: "RRB Vector: A Practical General ..."
Vafeiadis, Viktor ICFP'15: "Pilsner: A Compositionally ..."
Varamesh, Ali ICFP'15: "Adaptive Lock-Free Maps: Purely-Functional ..."
Vazou, Niki ICFP'15: "Bounded Refinement Types ..."
Vytiniotis, Dimitrios ICFP'15: "GADTs Meet Their Match: Pattern-Matching ..." ICFP'15: "HLIO: Mixing Static and Dynamic ..."
Wang, Meng ICFP'15: "Applicative Bidirectional ..."
Wies, Thomas ICFP'15: "Practical SMT-Based Type Error ..."
Yang, Edward Z. ICFP'15: "Efficient Communication and ..."
Zhu, He ICFP'15: "Learning Refinement Types ..."
Ziliani, Beta ICFP'15: "A Unification Algorithm for ..."

96 authors

proc time: 0.19