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.
21Updated 7 years ago

Related projects

Alternatives and complementary repositories for TAL0