| | A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf] (leafpetersen.com) |
| 1 point by fanf2 12 months ago | past |
|
| | Lambda Aleph – Dependently-Typed Functional Language by Tim Sweeney (Epic Games) [pdf] (leafpetersen.com) |
| 2 points by olvy0 on Sept 14, 2020 | past |
|
| | Pillar: A Parallel Implementation Language (2007) [pdf] (leafpetersen.com) |
| 28 points by bshanks on April 22, 2017 | past |
|
| | The Intel Labs Haskell Research Compiler (leafpetersen.com) |
| 7 points by hamidr on Aug 1, 2013 | past |
|
| | Measuring the Haskell Gap [pdf] (leafpetersen.com) |
| 148 points by dons on July 26, 2013 | past | 35 comments |
|
| | Automatic SIMD Vectorization for Haskell [pdf] (leafpetersen.com) |
| 86 points by miga on July 25, 2013 | past | 18 comments |
|
