Frontmatter

Type Checking

Improving Haskell Types with SMT
Iavor S. Diatchki
(Galois, USA)


@InProceedings{Haskell15p1, author = {Iavor S. Diatchki}, title = {Improving Haskell Types with SMT}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }

A Typechecker Plugin for Units of Measure: Domain-Specific Constraint Solving in GHC Haskell
Adam Gundry
(Well-Typed, UK)


@InProceedings{Haskell15p13, author = {Adam Gundry}, title = {A Typechecker Plugin for Units of Measure: Domain-Specific Constraint Solving in GHC Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, }

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)


@InProceedings{Haskell15p25, author = {Andrew Farmer and Neil Sculthorpe and Andy Gill}, title = {Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2015}, }

Formally Proving a Compiler Transformation Safe
Joachim Breitner
(KIT, Germany)


@InProceedings{Haskell15p37, author = {Joachim Breitner}, title = {Formally Proving a Compiler Transformation Safe}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2015}, }

Graphics and Distribution

Bridging the GUI Gap with Reactive Values and Relations
Ivan Perez and Henrik Nilsson
(University of Nottingham, UK)


@InProceedings{Haskell15p49, author = {Ivan Perez and Henrik Nilsson}, title = {Bridging the GUI Gap with Reactive Values and Relations}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2015}, }

The Remote Monad Design Pattern
Andy Gill, Neil Sculthorpe, and James Stanton
(University of Kansas, USA; Swansea University, UK)


@InProceedings{Haskell15p61, author = {Andy Gill and Neil Sculthorpe and James Stanton}, title = {The Remote Monad Design Pattern}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, }

Generics

Variations on Variants
J. Garrett Morris
(University of Edinburgh, UK)


@InProceedings{Haskell15p73, author = {J. Garrett Morris}, title = {Variations on Variants}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2015}, }

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)


@InProceedings{Haskell15p85, author = {Bruno C. d. S. Oliveira and Shin-Cheng Mu and Shu-Hung You}, title = {Modular Reifiable Matching: A List-of-Functors Approach to Two-Level Types}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2015}, }

Monads and Comonads

Freer Monads, More Extensible Effects
Oleg Kiselyov and Hiromi Ishii
(Tohoku University, Japan; University of Tsukuba, Japan)


@InProceedings{Haskell15p97, author = {Oleg Kiselyov and Hiromi Ishii}, title = {Freer Monads, More Extensible Effects}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2015}, }

Functional Pearl: Getting a Quick Fix on Comonads
Kenneth Foner
(University of Pennsylvania, USA)


@InProceedings{Haskell15p109, author = {Kenneth Foner}, title = {Functional Pearl: Getting a Quick Fix on Comonads}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2015}, }

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)


@InProceedings{Haskell15p121, author = {Jan Stolarek and Simon Peyton Jones and Richard A. Eisenberg}, title = {Injective Type Families for Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, }

Type Families with Class, Type Classes with Family
Alejandro Serrano, Jurriaan Hage, and Patrick Bahr
(Utrecht University, Netherlands; University of Copenhagen, Denmark)


@InProceedings{Haskell15p133, author = {Alejandro Serrano and Jurriaan Hage and Patrick Bahr}, title = {Type Families with Class, Type Classes with Family}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2015}, }

Concurrency and Parallelism

Déjà Fu: A Concurrency Testing Library for Haskell
Michael Walker and Colin Runciman
(University of York, UK)


@InProceedings{Haskell15p145, author = {Michael Walker and Colin Runciman}, title = {Déjà Fu: A Concurrency Testing Library for Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {145-144}, doi = {}, year = {2015}, }

Improving Implicit Parallelism
José Manuel Calderón Trilla and Colin Runciman
(University of York, UK)


@InProceedings{Haskell15p157, author = {José Manuel Calderón Trilla and Colin Runciman}, title = {Improving Implicit Parallelism}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {157-156}, doi = {}, year = {2015}, }

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)


@InProceedings{Haskell15p169, author = {Adam Ścibior and Zoubin Ghahramani and Andrew D. Gordon}, title = {Practical Probabilistic Programming with Monads}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {169-168}, doi = {}, year = {2015}, }

Embedding a Full Linear Lambda Calculus in Haskell
Jeff Polakow
(Awake Networks, USA)


@InProceedings{Haskell15p181, author = {Jeff Polakow}, title = {Embedding a Full Linear Lambda Calculus in Haskell}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, }

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)


@InProceedings{Haskell15p193, author = {Trevor Elliott and Lee Pike and Simon Winwood and Pat Hickey and James Bielman and Jamey Sharp and Eric Seidel and John Launchbury}, title = {Guilt Free Ivory}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {193-192}, doi = {}, year = {2015}, }

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)


@InProceedings{Haskell15p205, author = {Trevor L. McDonell and Manuel M. T. Chakravarty and Vinod Grover and Ryan R. Newton}, title = {Type-safe Runtime Code Generation: Accelerate to LLVM}, booktitle = {Proc.\ Haskell}, publisher = {ACM}, pages = {205-204}, doi = {}, year = {2015}, }

proc time: 0.77