Powered by
8th ACM SIGPLAN Haskell Symposium 2015,
September 3-4, 2015,
Vancouver, BC, Canada
Frontmatter
Type Checking
Verification
Graphics and Distribution
Generics
Monads and Comonads
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)
Concurrency and Parallelism
Probabilistic and Linear Programming
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)
proc time: 0.7