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
- Host: GitHub
- URL: https://github.com/jozefg/hotc
- Owner: jozefg
- Created: 2015-09-01T18:52:45.000Z (almost 10 years ago)
- Default Branch: master
- Last Pushed: 2015-09-01T20:00:56.000Z (almost 10 years ago)
- Last Synced: 2025-01-28T16:34:36.916Z (4 months ago)
- Language: TeX
- Size: 273 KB
- Stars: 2
- Watchers: 3
- Forks: 9
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
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.