Notes and formalisms for some programming languages, written in Coq. Much of the material is based off of the Iron Lambda project and the book TaPL, although I try to write most of the proofs by myself.
Notes and formalisms for some programming languages, written in Coq. Much of the material is based off of the Iron Lambda project and the book TaPL, although I try to write most of the proofs by myself.