-
Notifications
You must be signed in to change notification settings - Fork 0
Schedule
robeverest edited this page May 9, 2016
·
12 revisions
When | Where | Who | What |
---|---|---|---|
15/03 1700 | Whitehouse | Rob | Theorems for free! Philip Wadler (http://www.mpi-sws.org/~dreyer/tor/papers/wadler.pdf) |
29/03 1700 | Whitehouse | Liam | Propositions as Types. Phil Wadler (http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf) |
12/04 1700 | Whitehouse | Zilin | Type-level Web APIs with Servant (https://www.andres-loeh.de/Servant/servant-wgp.pdf) |
26/04 1700 | Whitehouse | Angus | Scrap your boilerplate with class: extensible generic functions (http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/gmap3.pdf) |
10/04 1700 | Whitehouse | Rob | Backpack to Work: Towards Practical Mixin Linking for Haskell (http://research.microsoft.com/en-us/um/people/simonpj/papers/modules/backpack-2016.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