European Symposium On Programming (ESOP'99), Lecture Notes in Computer Science (1999) |
- Benaissa, Zine-El-Abidine; Moggi, Eugenio; Taha, W (1999) Benaissa, Zine-El-Abidine; Moggi, Eugenio; Taha, Walid and Sheard Tim "An Idealized MetaML: simpler, and more expressive"
- Smith, Frederick; Walker, David and Greg Morrisett (1999) Smith, Frederick; Walker, David and Greg Morrisett. "Alias Types"
|
|