... | ... | @@ -138,7 +138,7 @@ Please add: System FC, GADTs, kind polymorphism etc |
|
|
|
|
|
- [A Single Intermediate Language That Supports Multiple Implementations of Exceptions](http://research.microsoft.com/en-us/um/people/simonpj/papers/c--/c--exn-pldi.ps.gz), Norman Ramsey and Simon Peyton Jones, PLDI 2000.
|
|
|
|
|
|
- [An LLVM Backend for GHC](https://www.davidterei.com/downloads/papers/terei:2010:llvm.pdf), David Terei and Manuel M. T. Chakravarty. Haskell Symposium 2010
|
|
|
- [An LLVM Backend for GHC](https://llvm.org/pubs/2010-09-HASKELLSYM-LLVM-GHC.pdf), David Terei and Manuel M. T. Chakravarty. Haskell Symposium 2010
|
|
|
|
|
|
## IO and Related
|
|
|
|
... | ... | @@ -182,4 +182,4 @@ Please add: System FC, GADTs, kind polymorphism etc |
|
|
|
|
|
- [Template Meta-programming for Haskell](http://research.microsoft.com/en-us/um/people/simonpj/papers/meta-haskell/meta-haskell.pdf). Tim Sheard, Simon Peyton Jones. Haskell '02. [ doi](http://dx.doi.org/10.1145/636517.636528) Introduces Template Haskell.
|
|
|
|
|
|
- [Scrap your Boilerplate: a Practical Design Pattern for Generic Programming](http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/index.htm). Ralf Lämmel, Simon Peyton Jones. TLDI '03. [ doi](http://dx.doi.org/10.1145/604174.604179) Introduces `Typeable` and `Data`. |
|
|
- [Scrap your Boilerplate: a Practical Design Pattern for Generic Programming](http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/index.htm). Ralf Lämmel, Simon Peyton Jones. TLDI '03. [ doi](http://dx.doi.org/10.1145/604174.604179) Introduces `Typeable` and `Data`. |
|
|
\ No newline at end of file |