Explore >> Select a destination


You are here

gilmi.me
| | typesanitizer.com
9.6 parsecs away

Travel
| | In spring 2018, I took the Cornell CS 4120/4121 course on compilers. Our team chose to implement the compiler in Haskell; this is the post-mortem report. It assumes some Haskell knowledge.
| | www.poberezkin.com
9.7 parsecs away

Travel
| | Evgeny Poberezkin's blog
| | hookrace.net
7.6 parsecs away

Travel
| |
| | thunderseethe.dev
51.6 parsecs away

Travel
| Generate Type Constraints with a Bidirectional Type System