Lambda the Ultimate
- Type Systems as Macros http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf 15 comments DSL , Functional , Lambda Calculus , Meta-Programming , Type Theory
Linking pages
- GitHub - lexi-lambda/hackett: WIP implementation of a Haskell-like Lisp in Racket https://github.com/lexi-lambda/hackett 28 comments
- Adding string interpolation to Racket – Piotr Klibert blog https://klibert.pl/posts/adding_string_interpolation_to_racket.html 9 comments
- GitHub - gasche/popl2017-papers: Link to preprints for POPL'17 and co-located events https://github.com/gasche/popl2017-papers 3 comments
Related searches:
Search whole site: site:www.ccs.neu.edu
Search title: Type Systems as Macros
See how to search.