Crary, Karl "A Simple Proof Technique for Certain Parametricity Results" (1999) |
[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
|
|
|