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: "Functional Pearl: A SQL to ..." ICFP '15: "RRB Vector: A Practical General ..."
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: "HLIO: Mixing Static and Dynamic ..." ICFP '15: "GADTs Meet Their Match: Pattern-Matching ..."
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 ..."

101 authors

proc time: 0.95