ICFP 2018
Proceedings of the ACM on Programming Languages, Volume 2, Number ICFP
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 2, Number ICFP, September 23–29, 2018, St. Louis, MO, USA

ICFP – Journal Issue

Contents - Abstracts - Authors

Frontmatter

Title Page

Research Papers

Versatile Event Correlation with Algebraic Effects
Oliver Bračevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, and Mira Mezini
(TU Darmstadt, Germany; University of Cambridge, UK; Delft University of Technology, Netherlands; University of Lugano, Switzerland; Purdue University, USA; TU Darmstadt Germany; Lancaster University, UK)
Article Search
Parametric Polymorphism and Operational Improvement
Jennifer Hackett and Graham Hutton
(University of Nottingham, UK)
Article Search
Handling Delimited Continuations with Dependent Types
Youyou Cong and Kenichi Asai
(Ochanomizu University, Japan)
Article Search
The Simple Essence of Automatic Differentiation
Conal Elliott
(Target, USA)
Article Search Info
A Spectrum of Type Soundness and Performance
Ben Greenman and Matthias Felleisen
(Northeastern University, USA)
Article Search Artifacts Available Artifacts Functional
Compositional Soundness Proofs of Abstract Interpreters
Sven Keidel, Casper Bach Poulsen, and Sebastian Erdweg
(Delft University of Technology, Netherlands)
Article Search Artifacts Functional
Graduality from Embedding-Projection Pairs
Max S. New and Amal Ahmed
(Northeastern University, USA; Inria, France)
Article Search
Incremental Relational Lenses
Rudi Horn, Roly Perera, and James Cheney
(University of Edinburgh, UK)
Article Search Artifacts Functional
Elaborating Dependent (Co)pattern Matching
Jesper Cockx and Andreas Abel
(University of Gothenburg, Sweden)
Article Search
Capturing the Future by Replaying the Past (Functional Pearl)
James Koppel, Gabriel Scherer, and Armando Solar-Lezama
(Massachusetts Institute of Technology, USA; Inria, France)
Preprint Info Artifacts Functional
MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
(Delft University of Technology, Netherlands; LRI, France; University of Paris-Sud, France; CNRS, France; University of Paris-Saclay, France; MPI-SWS, Germany; Carnegie Mellon University, USA; imec-Distrinet, Belgium; KU Leuven, Belgium; Inria, France)
Preprint Info Artifacts Available Artifacts Functional
Mtac2: Typed Tactics for Backward Reasoning in Coq
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, and Derek Dreyer
(MPI-SWS, Germany; Universidad Nacional de Córdoba, Argentina; CONICET, Argentina; Delft University of Technology, Netherlands; IRIF, France; PPS, France; University of Paris Diderot, France; Inria, France)
Article Search Artifacts Functional
Build Systems à la Carte
Andrey Mokhov, Neil Mitchell, and Simon Peyton Jones
(Newcastle University, UK; Digital Asset, UK; Microsoft Research, UK)
Article Search Artifacts Available Artifacts Functional
Synthesizing Quotient Lenses
Solomon Maina, Anders Miltner, Kathleen Fisher, Benjamin C. Pierce, David Walker, and Steve Zdancewic
(University of Pennsylvania, USA; Princeton University, USA; Tufts University, USA)
Article Search Artifacts Functional
Finitary Polymorphism for Optimizing Type-Directed Compilation
Atsushi Ohori, Katsuhiro Ueno, and Hisayuki Mima
(Tohoku University, Japan)
Article Search Artifacts Functional
Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report)
José Bacelar Almeida, Alcino Cunha, Nuno Macedo, Hugo Pacheco, and José Proença
(University of Minho, Portugal; INESC TEC, Portugal)
Article Search Info
Functional Programming for Modular Bayesian Inference
Adam Ścibior, Ohad Kammar, and Zoubin Ghahramani
(University of Cambridge, UK; MPI Tübingen, Germany; University of Oxford, UK; Uber AI Labs, USA)
Article Search Artifacts Functional
What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Functional Pearl)
Guillaume Boisseau and Jeremy Gibbons
(University of Oxford, UK)
Article Search
Generic Deriving of Generic Traversals
Csongor Kiss, Matthew Pickering, and Nicolas Wu
(Imperial College London, UK; University of Bristol, UK)
Article Search Artifacts Functional
Relational Algebra by Way of Adjunctions
Jeremy Gibbons, Fritz Henglein, Ralf Hinze, and Nicolas Wu
(University of Oxford, UK; University of Copenhagen, Denmark; University of Kaiserslautern, Germany; University of Bristol, UK)
Article Search Artifacts Functional
Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, and Andrew Cobb
(Northeastern University, USA; Czech Technical University, Czechia; BAE Systems, USA)
Article Search Artifacts Functional
Strict and Lazy Semantics for Effects: Layering Monads and Comonads
Andrew K. Hirsch and Ross Tate
(Cornell University, USA)
Preprint Archive submitted (1 MB) Video Info
Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, and Stephanie Weirich
(University of Pennsylvania, USA; UNSW, Australia; BAE Systems, n.n.)
Article Search Info Artifacts Available Artifacts Functional
A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, and James McKinna
(Radboud University Nijmegen, Netherlands; University of Strathclyde, UK; University of Edinburgh, UK)
Article Search Artifacts Functional
Parallel Complexity Analysis with Temporal Session Types
Ankush Das, Jan Hoffmann, and Frank Pfenning
(Carnegie Mellon University, USA)
Article Search
Equivalences for Free: Univalent Parametricity for Effective Transport
Nicolas Tabareau, Éric Tanter, and Matthieu Sozeau
(Inria, France; University of Chile, Chile; IRIF, France)
Article Search Artifacts Available Artifacts Functional
Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of λProlog/Makam
Antonis Stampoulis and Adam Chlipala
(Originate, USA; Massachusetts Institute of Technology, USA)
Article Search Artifacts Available Artifacts Functional
Tight Typings and Split Bounds
Beniamino Accattoli, Stéphane Graham-Lengrand, and Delia Kesner
(Inria, France; École Polytechnique, France; CNRS, France; University of Paris Diderot, France)
Article Search
Competitive Parallelism: Getting Your Priorities Right
Stefan K. Muller, Umut A. Acar, and Robert Harper
(Carnegie Mellon University, USA; Inria, France)
Article Search Artifacts Functional
Fault Tolerant Functional Reactive Programming (Functional Pearl)
Ivan Perez
(National Institute of Aerospace, n.n.)
Article Search
Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large
Martin Elsman, Troels Henriksen, Danil Annenkov, and Cosmin E. Oancea
(University of Copenhagen, Denmark)
Article Search Artifacts Available Artifacts Functional
Casts and Costs: Harmonizing Safety and Performance in Gradual Typing
John Peter Campora, Sheng Chen, and Eric Walkingshaw
(University of Louisiana at Lafayette, USA; Oregon State University, USA)
Article Search Artifacts Functional
Functional Programming for Compiling and Decompiling Computer-Aided Design
Chandrakana Nandi, James R. Wilcox, Pavel Panchekha, Taylor Blau, Dan Grossman, and Zachary Tatlock
(University of Washington, USA)
Article Search Artifacts Functional
Partially-Static Data as Free Extension of Algebras
Jeremy Yallop, Tamara von Glehn, and Ohad Kammar
(University of Cambridge, UK; University of Oxford, UK)
Preprint Info Artifacts Available Artifacts Functional
What’s the Difference? A Functional Pearl on Subtracting Bijections
Brent A. Yorgey and Kenneth Foner
(Hendrix College, USA; University of Pennsylvania, USA)
Preprint
Keep Your Laziness in Check
Kenneth Foner, Hengchu Zhang, and Leonidas Lampropoulos
(University of Pennsylvania, USA)
Article Search Info Artifacts Functional
Merlin: A Language Server for OCaml (Experience Report)
Frédéric Bour, Thomas Refis, and Gabriel Scherer
(Jane Street, n.n.; Inria, France)
Article Search
Generic Zero-Cost Reuse for Dependent Types
Larry Diehl, Denis Firsov, and Aaron Stump
(University of Iowa, USA)
Preprint Info Artifacts Functional
Refunctionalization of Abstract Abstract Machines: Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
Guannan Wei, James Decker, and Tiark Rompf
(Purdue University, USA)
Article Search Info Artifacts Functional
Reasonably Programmable Literal Notation
Cyrus Omar and Jonathan Aldrich
(University of Chicago, USA; Carnegie Mellon University, USA)
Article Search Info Artifacts Functional

proc time: 9.78