Zdancewic, Steve and Dan Grossman. Principals in Programming Languages: Technical Results. Technical Report TR99-1752, Cornell University, June 1999.

Languages mentioned

• TAL {1997} Assembly language for TALC