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

44 authors

proc time: 0.04