In the 1999 ACM SIGPLAN International Conference on Functional Programming, Paris, France, September 1999. (1999) |
- Crary, Karl (1999) Crary, Karl "A Simple Proof Technique for Certain Parametricity Results"
- Crary, Karl and Weirich, Stephanie (1999) Crary, Karl and Weirich, Stephanie "Flexible Type Analysis"
- Glew, Neal (1999) Glew, Neal "Type Dispatch for Named Hierarchical Types"
- Zdancewic, Steve; Grossman, Dan and Greg Morrisett (1999) Zdancewic, Steve; Grossman, Dan and Greg Morrisett. "Principals in Programming Languages: A Syntactic Proof Technique"
|
|
|