• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Valery Trifonov, Scott F. Smith
  • Computer Science
  • SAS
  • 1996 (First Publication: 24 September 1996)
  • A constrained type is a type that comes with a set of subtyping constraints on variables occurring in the type. Constrained type inference systems are a natural generalization of Hindley/Milner typeContinue Reading
  • Kim B. Bruce, Luca Cardelli, +5 authors Benjamin C. Pierce
  • Computer Science
  • TAPOS
  • 1995 (First Publication: 1 December 1995)
  • ∗partially supported by NSF grant CCR-9121778 and NSF grant CCR-9424123. Internet:kim@cs.williams.edu †Internet: luca@src.dec.com. ‡Internet: castagna@dmi.ens.fr §Jonathan Eifrig, Scott Smith, ValeryContinue Reading