Morrisett, Greg; David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language (Extended version). Technical Report TR97-1651, Cornell University, November 1997.
(1997)
Languages mentioned
System F
{1989}
TAL
{1997} Assembly language for TALC