Type inference with constrained types

Theory and Practice of Object Systems

Volumn 5, Issue 1, 1999, Pages 35-55

  Odersky, Martin ^a   Sulzmann, Martin ^a   Wehr, Martin ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

HINDLEY/MILNER STYLE TYPE SYSTEMS;

ALGORITHMS; COMPUTATIONAL LINGUISTICS; INFERENCE ENGINES;

OBJECT ORIENTED PROGRAMMING;

EID: 0032761040     PISSN: 10743227     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1096-9942(199901/03)5:1<35::AID-TAPO4>3.0.CO;2-4     Document Type: Article

References (39)