System F to typed assembly language (1997)

by From