Walker, David and Greg Morrisett. Alias Types for Recursive Data Structures. Technical Report TR2000-1787, Cornell University, March 2000.

Languages mentioned

• TAL {1997} Assembly language for TALC