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 ..."

46 authors

proc time: 1.29