Powered by
Conference Publishing Consulting

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

Workshop Haskell 2015 – Author Index

Contents - Abstracts - Authors

B C D E F G H I K L M N O P R S T W Y

Bahr, Patrick Haskell'15: "Type Families with Class, ..."
Bielman, James Haskell'15: "Guilt Free Ivory ..."
Breitner, Joachim Haskell'15: "Formally Proving a Compiler ..."
Chakravarty, Manuel M. T. Haskell'15: "Type-safe Runtime Code Generation: ..."
Diatchki, Iavor S. Haskell'15: "Improving Haskell Types with ..."
Eisenberg, Richard A. Haskell'15: "Injective Type Families for ..."
Elliott, Trevor Haskell'15: "Guilt Free Ivory ..."
Farmer, Andrew Haskell'15: "Reasoning with the HERMIT: ..."
Foner, Kenneth Haskell'15: "Functional Pearl: Getting ..."
Ghahramani, Zoubin Haskell'15: "Practical Probabilistic Programming ..."
Gill, Andy Haskell'15: "Reasoning with the HERMIT: ..." Haskell'15: "The Remote Monad Design Pattern ..."
Gordon, Andrew D. Haskell'15: "Practical Probabilistic Programming ..."
Grover, Vinod Haskell'15: "Type-safe Runtime Code Generation: ..."
Gundry, Adam Haskell'15: "A Typechecker Plugin for Units ..."
Hage, Jurriaan Haskell'15: "Type Families with Class, ..."
Hickey, Pat Haskell'15: "Guilt Free Ivory ..."
Ishii, Hiromi Haskell'15: "Freer Monads, More Extensible ..."
Kiselyov, Oleg Haskell'15: "Freer Monads, More Extensible ..."
Launchbury, John Haskell'15: "Guilt Free Ivory ..."
McDonell, Trevor L. Haskell'15: "Type-safe Runtime Code Generation: ..."
Morris, J. Garrett Haskell'15: "Variations on Variants ..."
Mu, Shin-Cheng Haskell'15: "Modular Reifiable Matching: ..."
Newton, Ryan R. Haskell'15: "Type-safe Runtime Code Generation: ..."
Nilsson, Henrik Haskell'15: "Bridging the GUI Gap with ..."
Oliveira, Bruno C. d. S. Haskell'15: "Modular Reifiable Matching: ..."
Perez, Ivan Haskell'15: "Bridging the GUI Gap with ..."
Peyton Jones, Simon Haskell'15: "Injective Type Families for ..."
Pike, Lee Haskell'15: "Guilt Free Ivory ..."
Polakow, Jeff Haskell'15: "Embedding a Full Linear Lambda ..."
Runciman, Colin Haskell'15: "Improving Implicit Parallelism ..." Haskell'15: "Déjà Fu: A Concurrency Testing ..."
Ścibior, Adam Haskell'15: "Practical Probabilistic Programming ..."
Sculthorpe, Neil Haskell'15: "Reasoning with the HERMIT: ..." Haskell'15: "The Remote Monad Design Pattern ..."
Seidel, Eric Haskell'15: "Guilt Free Ivory ..."
Serrano, Alejandro Haskell'15: "Type Families with Class, ..."
Sharp, Jamey Haskell'15: "Guilt Free Ivory ..."
Stanton, James Haskell'15: "The Remote Monad Design Pattern ..."
Stolarek, Jan Haskell'15: "Injective Type Families for ..."
Trilla, José Manuel Calderón Haskell'15: "Improving Implicit Parallelism ..."
Walker, Michael Haskell'15: "Déjà Fu: A Concurrency Testing ..."
Winwood, Simon Haskell'15: "Guilt Free Ivory ..."
You, Shu-Hung Haskell'15: "Modular Reifiable Matching: ..."

41 authors

proc time: 0.08