eismtr95

Jonathan Eifrig, Scott Smith, Valery Trifonov. Type Inference for Recursively Constrained Types and its Application to OOP. In Proc. 11th Conf. on the Mathematical Foundations of Programming Semantics (MFPS), April 1995.

Keyword

[ Parametricity ]

Contact

Jonathan Eifrig
Scott F Smith
Valery Trifonov

BibTex Reference

@InProceedings{eismtr95,
   Author = {Eifrig, Jonathan and Smith, Scott and Trifonov, Valery},
   Title = {Type Inference for Recursively Constrained Types and its Application to {OOP}},
   BookTitle = {Proc. 11th Conf. on the Mathematical Foundations of Programming Semantics (MFPS)},
   Month = {April},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)