ankitku / TAL0

Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.

https://ankitku.github.io/posts/2016-10-30-Mechanizing-Metatheory-of-TAL-0.html

Geek Repo

Github PK Tool