Haskell 2015

18 papers

1. A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell · Adam Gundry
2. Bridging the GUI gap with reactive values and relations · Ivan Perez, Henrik Nilsson
3. Déjà Fu: a concurrency testing library for Haskell · Michael Walker, Colin Runciman
4. Embedding a full linear Lambda calculus in Haskell · Jeff Polakow
5. Formally proving a compiler transformation safe · Joachim Breitner
6. Freer monads, more extensible effects · Oleg Kiselyov, Hiromi Ishii
7. Functional pearl: getting a quick fix on comonads · Kenneth Foner
8. Guilt free ivory · Trevor Elliott, Lee Pike, Simon Winwood, Patrick C. Hickey, James Bielman, Jamey Sharp + 2 more
9. Improving Haskell types with SMT · Iavor S. Diatchki
10. Improving implicit parallelism · José Manuel Calderón Trilla, Colin Runciman
11. Injective type families for Haskell · Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg
12. Modular reifiable matching: a list-of-functors approach to two-level types · Bruno C. d. S. Oliveira, Shin-Cheng Mu, Shu-Hung You
13. Practical probabilistic programming with monads · Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon
14. Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs · Andrew Farmer, Neil Sculthorpe, Andy Gill
15. The remote monad design pattern · Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe + 3 more
16. Type families with class, type classes with family · Alejandro Serrano, Jurriaan Hage, Patrick Bahr
17. Type-safe runtime code generation: accelerate to LLVM · Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton
18. Variations on variants · J. Garrett Morris