stha96

Chris Stone, Robert Harper. A Type-Theoretic Account of Standard ML 1996 (Version 1). Research Report School of Computer Science, Carnegie Mellon University, No 0, 1996.

Keyword

[ Parametricity ]

Contact

Christopher A. Stone
R. Harper

BibTex Reference

@TechReport{stha96,
   Author = {Stone, Chris and Harper, Robert},
   Title = {A Type-Theoretic Account of Standard ML 1996 (Version 1)},
   Number = {0},
   Institution = {School of Computer Science, Carnegie Mellon University},
   Year = {1996}
}

EndNote Reference [help]

Get EndNote Reference (.ref)