From System F to Typed Assembly Language (Extended Version) (1998)

by Greg Morrisett , David Walker , Karl Crary , Neal Glew
Citations:8 - 4 self