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 2018 – 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

Abel, Andreas ICFP '18: "Elaborating Dependent (Co)pattern ..."
Acar, Umut A. ICFP '18: "Competitive Parallelism: Getting ..."
Accattoli, Beniamino ICFP '18: "Tight Typings and Split Bounds ..."
Ahmed, Amal ICFP '18: "Graduality from Embedding-Projection ..."
Aldrich, Jonathan ICFP '18: "Reasonably Programmable Literal ..."
Allais, Guillaume ICFP '18: "A Type and Scope Safe Universe ..."
Almeida, José Bacelar ICFP '18: "Teaching How to Program using ..."
Amin, Nada ICFP '18: "Versatile Event Correlation ..."
Annenkov, Danil ICFP '18: "Static Interpretation of Higher-Order ..."
Asai, Kenichi ICFP '18: "Handling Delimited Continuations ..."
Atkey, Robert ICFP '18: "A Type and Scope Safe Universe ..."
Blau, Taylor ICFP '18: "Functional Programming for ..."
Boisseau, Guillaume ICFP '18: "What You Needa Know about ..."
Bour, Frédéric ICFP '18: "Merlin: A Language Server ..."
Bračevac, Oliver ICFP '18: "Versatile Event Correlation ..."
Breitner, Joachim ICFP '18: "Ready, Set, Verify! Applying ..."
Campora, John Peter ICFP '18: "Casts and Costs: Harmonizing ..."
Chapman, James ICFP '18: "A Type and Scope Safe Universe ..."
Charguéraud, Arthur ICFP '18: "MoSeL: A General, Extensible ..."
Chen, Sheng ICFP '18: "Casts and Costs: Harmonizing ..."
Cheney, James ICFP '18: "Incremental Relational Lenses ..."
Chlipala, Adam ICFP '18: "Prototyping a Functional Language ..."
Cobb, Andrew ICFP '18: "Contextual Equivalence for ..."
Cockx, Jesper ICFP '18: "Elaborating Dependent (Co)pattern ..."
Cong, Youyou ICFP '18: "Handling Delimited Continuations ..."
Culpepper, Ryan ICFP '18: "Contextual Equivalence for ..."
Cunha, Alcino ICFP '18: "Teaching How to Program using ..."
Das, Ankush ICFP '18: "Parallel Complexity Analysis ..."
Decker, James ICFP '18: "Refunctionalization of Abstract ..."
Diehl, Larry ICFP '18: "Generic Zero-Cost Reuse for ..."
Dreyer, Derek ICFP '18: "Mtac2: Typed Tactics for Backward ..." ICFP '18: "MoSeL: A General, Extensible ..."
Elliott, Conal ICFP '18: "The Simple Essence of Automatic ..."
Elsman, Martin ICFP '18: "Static Interpretation of Higher-Order ..."
Erdweg, Sebastian ICFP '18: "Versatile Event Correlation ..." ICFP '18: "Compositional Soundness Proofs ..."
Eugster, Patrick ICFP '18: "Versatile Event Correlation ..."
Felleisen, Matthias ICFP '18: "A Spectrum of Type Soundness ..."
Firsov, Denis ICFP '18: "Generic Zero-Cost Reuse for ..."
Fisher, Kathleen ICFP '18: "Synthesizing Quotient Lenses ..."
Foner, Kenneth ICFP '18: "Keep Your Laziness in Check ..." ICFP '18: "What’s the Difference? A ..."
Ghahramani, Zoubin ICFP '18: "Functional Programming for ..."
Giannakopoulos, Theophilos ICFP '18: "Contextual Equivalence for ..."
Gibbons, Jeremy ICFP '18: "What You Needa Know about ..." ICFP '18: "Relational Algebra by Way ..."
Graham-Lengrand, Stéphane ICFP '18: "Tight Typings and Split Bounds ..."
Greenman, Ben ICFP '18: "A Spectrum of Type Soundness ..."
Grossman, Dan ICFP '18: "Functional Programming for ..."
Hackett, Jennifer ICFP '18: "Parametric Polymorphism and ..."
Harper, Robert ICFP '18: "Competitive Parallelism: Getting ..."
Henglein, Fritz ICFP '18: "Relational Algebra by Way ..."
Henriksen, Troels ICFP '18: "Static Interpretation of Higher-Order ..."
Hinze, Ralf ICFP '18: "Relational Algebra by Way ..."
Hirsch, Andrew K. ICFP '18: "Strict and Lazy Semantics ..."
Hoffmann, Jan ICFP '18: "Parallel Complexity Analysis ..."
Horn, Rudi ICFP '18: "Incremental Relational Lenses ..."
Hutton, Graham ICFP '18: "Parametric Polymorphism and ..."
Jourdan, Jacques-Henri ICFP '18: "MoSeL: A General, Extensible ..."
Jung, Ralf ICFP '18: "MoSeL: A General, Extensible ..."
Kaiser, Jan-Oliver ICFP '18: "Mtac2: Typed Tactics for Backward ..." ICFP '18: "MoSeL: A General, Extensible ..."
Kammar, Ohad ICFP '18: "Functional Programming for ..." ICFP '18: "Partially-Static Data as Free ..."
Keidel, Sven ICFP '18: "Compositional Soundness Proofs ..."
Kesner, Delia ICFP '18: "Tight Typings and Split Bounds ..."
Kiss, Csongor ICFP '18: "Generic Deriving of Generic ..."
Koppel, James ICFP '18: "Capturing the Future by Replaying ..."
Krebbers, Robbert ICFP '18: "Mtac2: Typed Tactics for Backward ..." ICFP '18: "MoSeL: A General, Extensible ..."
Lampropoulos, Leonidas ICFP '18: "Keep Your Laziness in Check ..."
Li, Yao ICFP '18: "Ready, Set, Verify! Applying ..."
Macedo, Nuno ICFP '18: "Teaching How to Program using ..."
Maina, Solomon ICFP '18: "Synthesizing Quotient Lenses ..."
McBride, Conor ICFP '18: "A Type and Scope Safe Universe ..."
McKinna, James ICFP '18: "A Type and Scope Safe Universe ..."
Mezini, Mira ICFP '18: "Versatile Event Correlation ..."
Miltner, Anders ICFP '18: "Synthesizing Quotient Lenses ..."
Mima, Hisayuki ICFP '18: "Finitary Polymorphism for ..."
Mitchell, Neil ICFP '18: "Build Systems à la Carte ..."
Mokhov, Andrey ICFP '18: "Build Systems à la Carte ..."
Muller, Stefan K. ICFP '18: "Competitive Parallelism: Getting ..."
Nandi, Chandrakana ICFP '18: "Functional Programming for ..."
New, Max S. ICFP '18: "Graduality from Embedding-Projection ..."
Oancea, Cosmin E. ICFP '18: "Static Interpretation of Higher-Order ..."
Ohori, Atsushi ICFP '18: "Finitary Polymorphism for ..."
Omar, Cyrus ICFP '18: "Reasonably Programmable Literal ..."
Pacheco, Hugo ICFP '18: "Teaching How to Program using ..."
Panchekha, Pavel ICFP '18: "Functional Programming for ..."
Perera, Roly ICFP '18: "Incremental Relational Lenses ..."
Perez, Ivan ICFP '18: "Fault Tolerant Functional ..."
Peyton Jones, Simon ICFP '18: "Build Systems à la Carte ..."
Pfenning, Frank ICFP '18: "Parallel Complexity Analysis ..."
Pickering, Matthew ICFP '18: "Generic Deriving of Generic ..."
Pierce, Benjamin C. ICFP '18: "Synthesizing Quotient Lenses ..."
Poulsen, Casper Bach ICFP '18: "Compositional Soundness Proofs ..."
Proença, José ICFP '18: "Teaching How to Program using ..."
Refis, Thomas ICFP '18: "Merlin: A Language Server ..."
Régis-Gianas, Yann ICFP '18: "Mtac2: Typed Tactics for Backward ..."
Rizkallah, Christine ICFP '18: "Ready, Set, Verify! Applying ..."
Rompf, Tiark ICFP '18: "Refunctionalization of Abstract ..."
Salvaneschi, Guido ICFP '18: "Versatile Event Correlation ..."
Scherer, Gabriel ICFP '18: "Capturing the Future by Replaying ..." ICFP '18: "Merlin: A Language Server ..."
Ścibior, Adam ICFP '18: "Functional Programming for ..."
Solar-Lezama, Armando ICFP '18: "Capturing the Future by Replaying ..."
Sozeau, Matthieu ICFP '18: "Equivalences for Free: Univalent ..."
Spector-Zabusky, Antal ICFP '18: "Ready, Set, Verify! Applying ..."
Stampoulis, Antonis ICFP '18: "Prototyping a Functional Language ..."
Stump, Aaron ICFP '18: "Generic Zero-Cost Reuse for ..."
Tabareau, Nicolas ICFP '18: "Equivalences for Free: Univalent ..."
Tanter, Éric ICFP '18: "Equivalences for Free: Univalent ..."
Tassarotti, Joseph ICFP '18: "MoSeL: A General, Extensible ..."
Tate, Ross ICFP '18: "Strict and Lazy Semantics ..."
Tatlock, Zachary ICFP '18: "Functional Programming for ..."
Timany, Amin ICFP '18: "MoSeL: A General, Extensible ..."
Ueno, Katsuhiro ICFP '18: "Finitary Polymorphism for ..."
Von Glehn, Tamara ICFP '18: "Partially-Static Data as Free ..."
Walker, David ICFP '18: "Synthesizing Quotient Lenses ..."
Walkingshaw, Eric ICFP '18: "Casts and Costs: Harmonizing ..."
Wand, Mitchell ICFP '18: "Contextual Equivalence for ..."
Wei, Guannan ICFP '18: "Refunctionalization of Abstract ..."
Weirich, Stephanie ICFP '18: "Ready, Set, Verify! Applying ..."
Wiegley, John ICFP '18: "Ready, Set, Verify! Applying ..."
Wilcox, James R. ICFP '18: "Functional Programming for ..."
Wu, Nicolas ICFP '18: "Generic Deriving of Generic ..." ICFP '18: "Relational Algebra by Way ..."
Yallop, Jeremy ICFP '18: "Partially-Static Data as Free ..."
Yorgey, Brent A. ICFP '18: "What’s the Difference? A ..."
Zdancewic, Steve ICFP '18: "Synthesizing Quotient Lenses ..."
Zhang, Hengchu ICFP '18: "Keep Your Laziness in Check ..."
Ziliani, Beta ICFP '18: "Mtac2: Typed Tactics for Backward ..."

123 authors

proc time: 0.14