sajith / cs-papers
Ye Olde Computer Science Scrolls!
☆102Updated 7 years ago
Related projects: ⓘ
- History of Programming Languages, Spring 2017☆127Updated 6 years ago
- ☆34Updated this week
- Link to preprints for POPL'17 and co-located events☆101Updated 7 years ago
- Links to publicly available preprints for the POPL'16 conference☆120Updated 7 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- Collection of various research papers I find interesting☆86Updated 8 years ago
- ☆49Updated 11 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Resources for the online Type Theory Study Group☆161Updated 6 years ago
- ☆84Updated 3 years ago
- ☆13Updated this week
- Learn You a Lambda, a Haskell Tutorial☆47Updated 7 years ago
- a book about ocaml☆186Updated 7 years ago
- A collection of resources for learning type theory.☆101Updated 8 years ago
- A small implementation of type inference☆78Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- ☆74Updated this week
- nanopass compiler framework for Racket☆180Updated 8 months ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- A small compiler for PCF☆123Updated 3 years ago
- ☆95Updated 9 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- CN MonaD.ReadeR Reading Group☆108Updated 8 years ago
- Pearls of Functional Algorithm Design☆68Updated 9 years ago
- ☆85Updated this week
- ☆87Updated 2 years ago
- Classic Algorithm W for type inference.☆248Updated 14 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆41Updated last year