Powered by
Conference Publishing Consulting

8th ACM SIGPLAN Haskell Symposium 2015, September 3-4, 2015, Vancouver, BC, Canada

Haskell 2015 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Foreword

Type Checking

Improving Haskell Types with SMT
Iavor S. Diatchki
(Galois, USA)
Publisher's Version
A Typechecker Plugin for Units of Measure: Domain-Specific Constraint Solving in GHC Haskell
Adam Gundry
(Well-Typed, UK)
Publisher's Version Info

Verification

Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs
Andrew Farmer, Neil Sculthorpe, and Andy Gill
(University of Kansas, USA; Swansea University, UK)
Publisher's Version Info
Formally Proving a Compiler Transformation Safe
Joachim Breitner
(KIT, Germany)
Publisher's Version

Graphics and Distribution

Bridging the GUI Gap with Reactive Values and Relations
Ivan Perez and Henrik Nilsson
(University of Nottingham, UK)
Publisher's Version
The Remote Monad Design Pattern
Andy Gill, Neil Sculthorpe, and James Stanton
(University of Kansas, USA; Swansea University, UK)
Publisher's Version

Generics

Variations on Variants
J. Garrett Morris
(University of Edinburgh, UK)
Publisher's Version
Modular Reifiable Matching: A List-of-Functors Approach to Two-Level Types
Bruno C. d. S. OliveiraORCID logo, Shin-Cheng Mu, and Shu-Hung You
(University of Hong Kong, China; Academia Sinica, Taiwan; National Taiwan University, Taiwan)
Publisher's Version

Monads and Comonads

Freer Monads, More Extensible Effects
Oleg Kiselyov and Hiromi Ishii
(Tohoku University, Japan; University of Tsukuba, Japan)
Publisher's Version Info
Functional Pearl: Getting a Quick Fix on Comonads
Kenneth Foner
(University of Pennsylvania, USA)
Publisher's Version Info

Type Classes

Injective Type Families for Haskell
Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg
(Politechnika Łódzka, Poland; Microsoft Research, UK; University of Pennsylvania, USA)
Publisher's Version
Type Families with Class, Type Classes with Family
Alejandro Serrano, Jurriaan Hage ORCID logo, and Patrick Bahr
(Utrecht University, Netherlands; University of Copenhagen, Denmark)
Publisher's Version

Concurrency and Parallelism

Déjà Fu: A Concurrency Testing Library for Haskell
Michael Walker and Colin Runciman
(University of York, UK)
Publisher's Version
Improving Implicit Parallelism
José Manuel Calderón Trilla and Colin Runciman
(University of York, UK)
Publisher's Version

Probabilistic and Linear Programming

Practical Probabilistic Programming with Monads
Adam Ścibior, Zoubin Ghahramani, and Andrew D. Gordon
(University of Cambridge, UK; Microsoft Research, UK; University of Edinburgh, UK)
Publisher's Version
Embedding a Full Linear Lambda Calculus in Haskell
Jeff Polakow
(Awake Networks, USA)
Publisher's Version

Code Generation

Guilt Free Ivory
Trevor Elliott, Lee Pike, Simon Winwood, Pat Hickey, James Bielman, Jamey Sharp, Eric Seidel, and John Launchbury
(Galois, USA; University of California at San Diego, USA; Willamette University, USA)
Publisher's Version
Type-safe Runtime Code Generation: Accelerate to LLVM
Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover ORCID logo, and Ryan R. Newton
(Indiana University, USA; UNSW, Australia; NVIDIA, USA)
Publisher's Version

proc time: 4.23