-
Notifications
You must be signed in to change notification settings - Fork 0
Schedule
Zilin Chen edited this page Mar 6, 2016
·
12 revisions
| When | Where | What |
|---|---|---|
| 15/03 1700 | Whitehouse | Theorems for free! Philip Wadler |
(http://www.mpi-sws.org/~dreyer/tor/papers/wadler.pdf) |
| When | What | Who |
|---|---|---|
| 18/08 | Using Circular Programs for Higher-Order Syntax (http://www.cse.chalmers.se/~emax/documents/axelsson2013using.pdf) | Rob & Liam |
Combinators for Impure yet Hygienic Code Generation http://logic.cs.tsukuba.ac.jp/~kam/paper/pepm2014.pdf
A seamless, client-centric programming model for type safe web applications http://haste-lang.org/icfp14.pdf
Safe Coercions http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf
Leaf Petersen, Dominic Orchard and Neal Glew. Automatic SIMD Vectorization for Haskell. http://www.leafpetersen.com/leaf/publications/icfp2013/vectorization-haskell.pdf
A Multivalued Language with a Dependent Type System Neal Glew, Tim Sweeny, Leaf Petersen http://www.leafpetersen.com/leaf/publications/dtp2013/lambda-aleph-overview.pdf