An open API service indexing awesome lists of open source software.

https://github.com/jozefg/hotc

Notes on higher-order typed compilation. Probably wrong
https://github.com/jozefg/hotc

Last synced: 3 months ago
JSON representation

Notes on higher-order typed compilation. Probably wrong

Awesome Lists containing this project

README

        

## hotc

These are the pretty and typeset versions of my notes from 15-417,
higher order type compilation. It is being taught at CMU during the
fall of 2015 by Karl Crary.

There is no SML code in here, nothing specific to implementation
beyond what is covered in lectures. It's intended to be a
serialization of the lecture supplemented with my own notes. I've
attempted to distinguish what is just brought up by me.

These notes are unofficial and aren't guaranteed for correctness or
completeness though I will do my best.