Crary, Karl ; Stephanie Weirich, and Greg Morrisett. Intensional Polymorphism in Type-Erasure Semantics. 1998 International Conference on Functional Programming, pages 301-312, Baltimore, September 1998. (1998) |
Languages mentioned
- TAL {1997} Assembly language for TALC
|
|