An Introduction to Redex with Abstracting Abstract Machines
See the codeREADME
This tutorial is available online at:
- HTML: https://dvanhorn.github.io/redex-aam-tutorial
- PDF: https://dvanhorn.github.io/redex-aam-tutorial/tutorial.pdf
Copyright © 2014 David Van Horn
Licensed under the Academic Free License version 3.0
Similar repos
Languages
Racket
99.6%
An Introduction to Redex with Abstracting Abstract Machines
See the codeREADME
This tutorial is available online at:
- HTML: https://dvanhorn.github.io/redex-aam-tutorial
- PDF: https://dvanhorn.github.io/redex-aam-tutorial/tutorial.pdf
Copyright © 2014 David Van Horn
Licensed under the Academic Free License version 3.0
Similar repos
Languages
Racket
99.6%