TALx86
cs.cornell.eduA Typed Assembly Language for x86. Supports sums, arrays, references, recursive types, subtyping, type tagging, and modules.
A Typed Assembly Language for x86. Supports sums, arrays, references, recursive types, subtyping, type tagging, and modules.