Crary, Karl and Weirich, Stephanie "Flexible Type Analysis"

[ICFP 1999] (1999) In the 1999 ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999.  

Languages mentioned TAL {1997} Assembly language for TALC