| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
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},
}
|
| |
Ś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},
}
|
| |
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
