ICFP Workshops 2018
23nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
Powered by
Conference Publishing Consulting

11th ACM SIGPLAN International Haskell Symposium (Haskell 2018), September 27-28, 2018, St. Louis, MO, USA

Workshop Haskell 2018 – Author Index

Contents - Abstracts - Authors

B D E F G H J K L M N O P R S V W

Bärenz, Manuel Haskell '18: "Rhine: FRP with Type-Level ..."
Blöndal, Baldur Haskell '18: "Deriving Via: or, How to Turn ..."
Breitner, Joachim Haskell '18: "Type Variables in Patterns ..." Haskell '18: "Theorem Proving for All: Equational ..." Haskell '18: "A Promise Checked Is a Promise ..."
De Luca, Guido Haskell '18: "Improving Typeclass Relations ..."
Devriese, Dominique Haskell '18: "Coherent Explicit Dictionary ..."
Eisenberg, Richard A. Haskell '18: "Type Variables in Patterns ..." Haskell '18: "The Thoralf Plugin: For Your ..."
Fisher, Kathleen Haskell '18: "Autobahn 2.0: Minimizing Bangs ..."
Gissurarson, Matthías Páll Haskell '18: "Suggesting Valid Hole Fits ..."
Han, Dong Haskell '18: "A High-Performance Multicore ..."
Handley, Martin A. T. Haskell '18: "AutoBench: Comparing the Time ..."
He, Tao Haskell '18: "A High-Performance Multicore ..."
Hughes, John Haskell '18: "Branching Processes for QuickCheck ..."
Hutton, Graham Haskell '18: "Theorem Proving for All: Equational ..." Haskell '18: "AutoBench: Comparing the Time ..."
Jaskelioff, Mauro Haskell '18: "Improving Typeclass Relations ..."
Kunkel, Rose Haskell '18: "Theorem Proving for All: Equational ..."
Löh, Andres Haskell '18: "Deriving Via: or, How to Turn ..."
Martínez, Guido Haskell '18: "Improving Typeclass Relations ..."
Matsuda, Kazutaka Haskell '18: "Embedding Invertible Languages ..."
Miraldo, Victor Cacciari Haskell '18: "Generic Programming of All ..."
Mista, Agustín Haskell '18: "Branching Processes for QuickCheck ..."
Noonan, Matt Haskell '18: "Ghosts of Departed Proofs ..."
Otwani, Divesh Haskell '18: "The Thoralf Plugin: For Your ..."
Perez, Ivan Haskell '18: "Rhine: FRP with Type-Level ..."
Peyton Jones, Simon Haskell '18: "Type Variables in Patterns ..."
Russo, Alejandro Haskell '18: "Branching Processes for QuickCheck ..."
Scott, Ryan Haskell '18: "Deriving Via: or, How to Turn ..."
Serrano, Alejandro Haskell '18: "Generic Programming of All ..."
Sun, Marilyn Haskell '18: "Autobahn 2.0: Minimizing Bangs ..."
Van Horn, David Haskell '18: "Theorem Proving for All: Equational ..."
Vazou, Niki Haskell '18: "Theorem Proving for All: Equational ..."
Wang, Meng Haskell '18: "Embedding Invertible Languages ..."
Winant, Thomas Haskell '18: "Coherent Explicit Dictionary ..."

32 authors

proc time: 2.51