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.17