ca86

L. Cardelli. Typechecking Dependent Types and Subtypes. In Proc. Foundations of Logic and Functional Programming, Lecture Notes in Computer Science, Vol. 306, Pages 45-57, December 1986.

Keyword

[ Parametricity ]

Contact

L. Cardelli

BibTex Reference

@InProceedings{ca86,
   Author = {Cardelli, L.},
   Title = {Typechecking Dependent Types and Subtypes},
   BookTitle = {Proc. Foundations of Logic and Functional Programming},
   Pages = {45--57},
   Publisher = {Springer-Verlag},
   Month = {December},
   Year = {1986}
}

EndNote Reference [help]

Get EndNote Reference (.ref)