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

10th ACM SIGPLAN International Haskell Symposium (Haskell 2017), September 7-8, 2017, Oxford, UK

Workshop Haskell 2017 – Author Index

Contents - Abstracts - Authors

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

Algehed, Maximilian Haskell'17: "QuickSpec: A Lightweight Theory ..."
Aronsson, Markus Haskell'17: "Hardware Software Co-design ..."
Blažević, Mario Haskell'17: "Packrats Parse in Packs ..."
Bottu, Gert-Jan Haskell'17: "Quantified Class Constraints ..."
Braquehais, Rudy Haskell'17: "Speculate: Discovering Conditional ..."
Chakravarty, Manuel M. T. Haskell'17: "Streaming Irregular Arrays ..."
Chen, Chao-Hong Haskell'17: "Adaptive Lock-Free Data Structures ..."
Choudhury, Vikraman Haskell'17: "Adaptive Lock-Free Data Structures ..."
Claessen, Koen Haskell'17: "QuickSpec: A Lightweight Theory ..."
Clifton-Everest, Robert Haskell'17: "Streaming Irregular Arrays ..."
Dawson, Justin Haskell'17: "Composable Network Stacks ..."
Delaware, Benjamin Haskell'17: "Using Coq to Write Fast and ..."
Ekblad, Anton Haskell'17: "A Meta-EDSL for Distributed ..."
Foner, Kenneth Haskell'17: "Ode on a Random Urn (Functional ..."
Gale, Michael B. Haskell'17: "Well-Typed Music Does Not ..."
Gill, Andy Haskell'17: "Composable Network Stacks ..."
Grebe, Mark Haskell'17: "Composable Network Stacks ..."
Johansson, Moa Haskell'17: "QuickSpec: A Lightweight Theory ..."
Karachalias, Georgios Haskell'17: "Elaboration on Functional ..." Haskell'17: "Quantified Class Constraints ..."
Keller, Gabriele Haskell'17: "Streaming Irregular Arrays ..."
Lampropoulos, Leonidas Haskell'17: "Ode on a Random Urn (Functional ..." Haskell'17: "A Tale of Two Provers: Verifying ..."
Légaré, Jacques Haskell'17: "Packrats Parse in Packs ..."
McDonell, Trevor L. Haskell'17: "Streaming Irregular Arrays ..."
Mokhov, Andrey Haskell'17: "Algebraic Graphs with Class ..."
Newton, Ryan R. Haskell'17: "Adaptive Lock-Free Data Structures ..."
Oliveira, Bruno C. d. S. Haskell'17: "Quantified Class Constraints ..."
Paykin, Jennifer Haskell'17: "The Linearity Monad ..."
Perez, Ivan Haskell'17: "Back to the Future: Time Travel ..."
Polakow, Jeff Haskell'17: "A Tale of Two Provers: Verifying ..."
Quick, Donya Haskell'17: "Algorithmic Music in Haskell ..."
Rémy, Didier Haskell'17: "Ornaments: Exploiting Parametricity ..."
Runciman, Colin Haskell'17: "Speculate: Discovering Conditional ..."
Schrijvers, Tom Haskell'17: "Elaboration on Functional ..." Haskell'17: "Quantified Class Constraints ..."
Scott, Michael L. Haskell'17: "Improving STM Performance ..."
Sheeran, Mary Haskell'17: "Hardware Software Co-design ..."
Smallbone, Nick Haskell'17: "QuickSpec: A Lightweight Theory ..."
Spector-Zabusky, Antal Haskell'17: "Ode on a Random Urn (Functional ..."
Szamozvancev, Dmitrij Haskell'17: "Well-Typed Music Does Not ..."
Vazou, Niki Haskell'17: "A Tale of Two Provers: Verifying ..."
Wadler, Philip Haskell'17: "Quantified Class Constraints ..."
Wiegley, John Haskell'17: "Using Coq to Write Fast and ..."
Yates, Ryan Haskell'17: "Improving STM Performance ..."
Zdancewic, Steve Haskell'17: "The Linearity Monad ..."

43 authors

proc time: 1.09