Haskell 2015 – Proceedings

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

Frontmatter

Title Page
Article: icfpws15haskellforeword-fm000-p (type: Frontmatter) doi:

Foreword
Article: icfpws15haskellforeword-fm001-p (type: Frontmatter) doi:

Type Checking

Improving Haskell Types with SMT
Iavor S. Diatchki
(Galois, USA)
Article: icfpws15haskellmain-haskell-6-p (type: Full Paper (12 pages)) doi:

A Typechecker Plugin for Units of Measure: Domain-Specific Constraint Solving in GHC Haskell
Adam Gundry
(Well-Typed, UK)
Article: icfpws15haskellmain-haskell-3-p (type: Full Paper (12 pages)) doi:

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)
Article: icfpws15haskellmain-haskell-1-p (type: Full Paper (12 pages)) doi:

Formally Proving a Compiler Transformation Safe
Joachim Breitner
(KIT, Germany)
Article: icfpws15haskellmain-haskell-18-p (type: Full Paper (12 pages)) doi:

Graphics and Distribution

Bridging the GUI Gap with Reactive Values and Relations
Ivan Perez and Henrik Nilsson
(University of Nottingham, UK)
Article: icfpws15haskellmain-haskell-27-p (type: Full Paper (12 pages)) doi:

The Remote Monad Design Pattern
Andy Gill, Neil Sculthorpe, and James Stanton
(University of Kansas, USA; Swansea University, UK)
Article: icfpws15haskellmain-haskell-13-p (type: Full Paper (12 pages)) doi:

Generics

Variations on Variants
J. Garrett Morris
(University of Edinburgh, UK)
Article: icfpws15haskellmain-haskell-39-p (type: Full Paper (12 pages)) doi:

Modular Reifiable Matching: A List-of-Functors Approach to Two-Level Types
Bruno C. d. S. Oliveira, Shin-Cheng Mu, and Shu-Hung You
(University of Hong Kong, China; Academia Sinica, Taiwan; National Taiwan University, Taiwan)
Article: icfpws15haskellmain-haskell-24-p (type: Full Paper (12 pages)) doi:

Monads and Comonads

Freer Monads, More Extensible Effects
Oleg Kiselyov and Hiromi Ishii
(Tohoku University, Japan; University of Tsukuba, Japan)
Article: icfpws15haskellmain-haskell-38-p (type: Full Paper (12 pages)) doi:

Functional Pearl: Getting a Quick Fix on Comonads
Kenneth Foner
(University of Pennsylvania, USA)
Article: icfpws15haskellmain-haskell-12-p (type: Full Paper (12 pages, Functional Perl)) doi:

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)
Article: icfpws15haskellmain-haskell-20-p (type: Full Paper (12 pages)) doi:

Type Families with Class, Type Classes with Family
Alejandro Serrano, Jurriaan Hage, and Patrick Bahr
(Utrecht University, Netherlands; University of Copenhagen, Denmark)
Article: icfpws15haskellmain-haskell-2-p (type: Full Paper (12 pages)) doi:

Concurrency and Parallelism

Déjà Fu: A Concurrency Testing Library for Haskell
Michael Walker and Colin Runciman
(University of York, UK)
Article: icfpws15haskellmain-haskell-4-p (type: Full Paper (12 pages)) doi:

Improving Implicit Parallelism
José Manuel Calderón Trilla and Colin Runciman
(University of York, UK)
Article: icfpws15haskellmain-haskell-7-p (type: Full Paper (12 pages)) doi:

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)
Article: icfpws15haskellmain-haskell-28-p (type: Full Paper (12 pages)) doi:

Embedding a Full Linear Lambda Calculus in Haskell
Jeff Polakow
(Awake Networks, USA)
Article: icfpws15haskellmain-haskell-10-p (type: Full Paper (12 pages)) doi:

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)
Article: icfpws15haskellmain-haskell-35-p (type: Full Paper (12 pages)) doi:

Type-safe Runtime Code Generation: Accelerate to LLVM
Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, and Ryan R. Newton
(Indiana University, USA; UNSW, Australia; NVIDIA, USA)
Article: icfpws15haskellmain-haskell-19-p (type: Full Paper (12 pages)) doi: