 
      
    | You are here | gilmi.me | ||
| | | | | typesanitizer.com | |
| | | | | 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 | |
| | | | | Evgeny Poberezkin's blog | |
| | | | | hookrace.net | |
| | | | | ||
| | | | | thunderseethe.dev | |
| | | Generate Type Constraints with a Bidirectional Type System | ||