trsm96

Valery Trifonov, Scott Smith. Subtying Constrained Types. In Proc.\ 3rd Int'l Static Analysis Symposium (SAS), Aachen, Germany, Radhia Cousot, David A. Schmidt (eds.), Lecture Notes in Computer Science (LNCS), Volume 1145, Pages 349-365, September 1995.

Keyword

[ Parametricity ]

Contact

Valery Trifonov
Scott F Smith

BibTex Reference

@InProceedings{trsm96,
   Author = {Trifonov, Valery and Smith, Scott},
   Title = {Subtying Constrained Types},
   BookTitle = {Proc.\ 3rd Int'l Static Analysis Symposium (SAS), Aachen, Germany},
   editor = {Cousot, Radhia and Schmidt, David A.},
   Volume = {1145},
   Pages = {349--365},
   Series = {Lecture Notes in Computer Science (LNCS)},
   Publisher = {Springer-Verlag},
   Month = {September},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)