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

Proceedings of the ACM on Programming Languages, Volume 3, Number ICFP, August 18–23, 2019, Berlin, Germany

ICFP 2019 – Author Index

Contents - Abstracts - Authors

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

Abel, Andreas ICFP '19: "Cubical Agda: A Dependently ..."
Acar, Umut A. ICFP '19: "Fairness in Responsive Parallelism ..."
Ahman, Danel ICFP '19: "Dijkstra Monads for All ..."
Ahmed, Amal ICFP '19: "The Next 700 Compiler Correctness ..."
Albarghouthi, Aws ICFP '19: "Synthesizing Differentially ..."
Algehed, Maximilian ICFP '19: "Simple Noninterference from ..."
Appel, Andrew W. ICFP '19: "Closure Conversion Is Safe ..."
Atkey, Robert ICFP '19: "Dijkstra Monads for All ..."
Baanen, Tim ICFP '19: "A Predicate Transformer Semantics ..."
Bahr, Patrick ICFP '19: "Simply RaTT: A Fitch-Style ..."
Bernardy, Jean-Philippe ICFP '19: "Simple Noninterference from ..."
Birkedal, Lars ICFP '19: "Mechanized Relational Verification ..." ICFP '19: "Implementing a Modal Dependent ..."
Bottu, Gert-Jan ICFP '19: "Coherence of Type Class Resolution ..."
Carbin, Michael ICFP '19: "Sound and Robust Solid Modeling ..."
Carette, Jacques ICFP '19: "From High-Level Inference ..."
Černý, Pavol ICFP '19: "Sequential Programming for ..."
Chlipala, Adam ICFP '19: "Narcissus: Correct-by-Construction ..."
Choudhury, Pritam ICFP '19: "A Role for Dependent Types ..."
Christiansen, David Thrane ICFP '19: "Dependently Typed Haskell ..."
Cong, Youyou ICFP '19: "Compiling with Continuations, ..."
Decker, James ICFP '19: "Demystifying Differentiable ..."
Delaware, Benjamin ICFP '19: "Narcissus: Correct-by-Construction ..."
Derici, Caner ICFP '19: "Rebuilding Racket on Chez ..."
Devriese, Dominique ICFP '19: "Linear Capabilities for Fully ..."
Diatchki, Iavor S. ICFP '19: "Dependently Typed Haskell ..."
Dimino, Jeremie ICFP '19: "Selective Applicative Functors ..."
Dockins, Robert ICFP '19: "Dependently Typed Haskell ..."
Dybvig, R. Kent ICFP '19: "Rebuilding Racket on Chez ..."
Eades III, Harley ICFP '19: "Quantitative Program Reasoning ..."
Eisenbach, Susan ICFP '19: "Higher-Order Type-Level Programming ..."
Eisenberg, Richard A. ICFP '19: "A Role for Dependent Types ..."
Eremondi, Joseph ICFP '19: "Approximate Normalization ..."
Essertel, Grégory M. ICFP '19: "Compiling with Continuations, ..." ICFP '19: "Demystifying Differentiable ..."
Fehrmann, Hans Jacob ICFP '19: "A Reasonably Exceptional Type ..."
Field, Tony ICFP '19: "Higher-Order Type-Level Programming ..."
Fisher, Kathleen ICFP '19: "Synthesizing Symmetric Lenses ..."
Fitzgibbon, Andrew ICFP '19: "Efficient Differentiable Programming ..."
Flatt, Matthew ICFP '19: "Rebuilding Racket on Chez ..."
Gaboardi, Marco ICFP '19: "Relational Cost Analysis for ..."
Gaonkar, Akash ICFP '19: "Sequential Programming for ..."
Garcia, Ronald ICFP '19: "Approximate Normalization ..."
Garg, Deepak ICFP '19: "Relational Cost Analysis for ..."
Gratzer, Daniel ICFP '19: "Implementing a Modal Dependent ..."
Graulund, Christian Uldal ICFP '19: "Simply RaTT: A Fitch-Style ..."
Hackett, Jennifer ICFP '19: "Call-by-Need Is Clairvoyant ..."
Haeberlen, Andreas ICFP '19: "Fuzzi: A Three-Level Logic ..."
Hameer, Aliya ICFP '19: "Teaching the Art of Functional ..."
Hendrix, Joe ICFP '19: "Dependently Typed Haskell ..."
Hriţcu, Cătălin ICFP '19: "Dijkstra Monads for All ..."
Hutton, Graham ICFP '19: "Call-by-Need Is Clairvoyant ..."
Keep, Andrew W. ICFP '19: "Rebuilding Racket on Chez ..."
Kiss, Csongor ICFP '19: "Higher-Order Type-Level Programming ..."
Lewchenko, Nicholas V. ICFP '19: "Sequential Programming for ..."
Liepelt, Vilem-Benjamin ICFP '19: "Quantitative Program Reasoning ..."
Lindenhovius, Bert ICFP '19: "Mixed Linear and Non-linear ..."
Lukyanov, Georgy ICFP '19: "Selective Applicative Functors ..."
Maillard, Kenji ICFP '19: "Dijkstra Monads for All ..."
Maina, Solomon ICFP '19: "Synthesizing Symmetric Lenses ..."
Mangin, Cyprien ICFP '19: "Equations Reloaded: High-Level ..."
Marlow, Simon ICFP '19: "Selective Applicative Functors ..."
Marntirosian, Koar ICFP '19: "Coherence of Type Class Resolution ..."
Martínez, Guido ICFP '19: "Dijkstra Monads for All ..."
Massaccesi, Gustavo E. ICFP '19: "Rebuilding Racket on Chez ..."
Michel, Jesse ICFP '19: "Sound and Robust Solid Modeling ..."
Miltner, Anders ICFP '19: "Synthesizing Symmetric Lenses ..."
Miraldo, Victor Cacciari ICFP '19: "An Efficient Algorithm for ..."
Mislove, Michael ICFP '19: "Mixed Linear and Non-linear ..."
Møgelberg, Rasmus Ejlers ICFP '19: "Simply RaTT: A Fitch-Style ..."
Mörtberg, Anders ICFP '19: "Cubical Agda: A Dependently ..."
Mokhov, Andrey ICFP '19: "Selective Applicative Functors ..."
Morihata, Akimasa ICFP '19: "Lambda Calculus with Algebraic ..."
Muller, Stefan K. ICFP '19: "Fairness in Responsive Parallelism ..."
Narayanan, Praveen ICFP '19: "From High-Level Inference ..."
Oliveira, Bruno C. d. S. ICFP '19: "A Mechanical Formalization ..."
Orchard, Dominic ICFP '19: "Quantitative Program Reasoning ..."
Osvald, Leo ICFP '19: "Compiling with Continuations, ..."
Paraskevopoulou, Zoe ICFP '19: "Closure Conversion Is Safe ..."
Patterson, Daniel ICFP '19: "The Next 700 Compiler Correctness ..."
Pédrot, Pierre-Marie ICFP '19: "A Reasonably Exceptional Type ..."
Peyton Jones, Simon ICFP '19: "Efficient Differentiable Programming ..." ICFP '19: "Higher-Order Type-Level Programming ..."
Pientka, Brigitte ICFP '19: "Teaching the Art of Functional ..."
Pierce, Benjamin C. ICFP '19: "Synthesizing Symmetric Lenses ..." ICFP '19: "Fuzzi: A Three-Level Logic ..."
Piessens, Frank ICFP '19: "Linear Capabilities for Fully ..."
Pit-Claudel, Clément ICFP '19: "Narcissus: Correct-by-Construction ..."
Qu, Weihao ICFP '19: "Relational Cost Analysis for ..."
Radhakrishna, Arjun ICFP '19: "Sequential Programming for ..."
Ravitch, Tristan ICFP '19: "Dependently Typed Haskell ..."
Rivas, Exequiel ICFP '19: "Dijkstra Monads for All ..."
Rompf, Tiark ICFP '19: "Compiling with Continuations, ..." ICFP '19: "Demystifying Differentiable ..."
Roth, Aaron ICFP '19: "Fuzzi: A Three-Level Logic ..."
Roth, Edo ICFP '19: "Fuzzi: A Three-Level Logic ..."
Schrijvers, Tom ICFP '19: "A Mechanical Formalization ..." ICFP '19: "Coherence of Type Class Resolution ..."
Shaikhha, Amir ICFP '19: "Efficient Differentiable Programming ..."
Shan, Chung-chieh ICFP '19: "From High-Level Inference ..."
Sherman, Benjamin ICFP '19: "Sound and Robust Solid Modeling ..."
Smith, Calvin ICFP '19: "Synthesizing Differentially ..."
Sozeau, Matthieu ICFP '19: "Equations Reloaded: High-Level ..."
Spall, Sarah ICFP '19: "Rebuilding Racket on Chez ..."
Sterling, Jonathan ICFP '19: "Implementing a Modal Dependent ..."
Suriyakarn, Sorawit ICFP '19: "Narcissus: Correct-by-Construction ..."
Swierstra, Wouter ICFP '19: "An Efficient Algorithm for ..." ICFP '19: "A Predicate Transformer Semantics ..."
Tabareau, Nicolas ICFP '19: "A Reasonably Exceptional Type ..."
Tanter, Éric ICFP '19: "A Reasonably Exceptional Type ..." ICFP '19: "Approximate Normalization ..." ICFP '19: "Dijkstra Monads for All ..."
Timany, Amin ICFP '19: "Mechanized Relational Verification ..."
Tobin-Hochstadt, Sam ICFP '19: "Rebuilding Racket on Chez ..." ICFP '19: "From High-Level Inference ..."
Van Strydonck, Thomas ICFP '19: "Linear Capabilities for Fully ..."
Vezzosi, Andrea ICFP '19: "Cubical Agda: A Dependently ..."
Voizard, Antoine ICFP '19: "A Role for Dependent Types ..."
Vytiniotis, Dimitrios ICFP '19: "Efficient Differentiable Programming ..."
Walia, Rajan ICFP '19: "From High-Level Inference ..."
Walker, David ICFP '19: "Synthesizing Symmetric Lenses ..."
Wang, Fei ICFP '19: "Demystifying Differentiable ..."
Weirich, Stephanie ICFP '19: "A Role for Dependent Types ..."
Westrick, Sam ICFP '19: "Fairness in Responsive Parallelism ..."
White, Leo ICFP '19: "Lambda: The Ultimate Sublanguage ..."
Wu, Xilun ICFP '19: "Demystifying Differentiable ..."
Xie, Ningning ICFP '19: "Coherence of Type Class Resolution ..."
Yallop, Jeremy ICFP '19: "Lambda: The Ultimate Sublanguage ..."
Ye, Qianchuan ICFP '19: "Narcissus: Correct-by-Construction ..."
Zamdzhiev, Vladimir ICFP '19: "Mixed Linear and Non-linear ..."
Zdancewic, Steve ICFP '19: "Synthesizing Symmetric Lenses ..."
Zeppieri, Jon ICFP '19: "Rebuilding Racket on Chez ..."
Zhang, Hengchu ICFP '19: "Fuzzi: A Three-Level Logic ..."
Zhao, Jinxu ICFP '19: "A Mechanical Formalization ..."
Zheng, Daniel ICFP '19: "Demystifying Differentiable ..."

125 authors

proc time: 3.58