TY  - RPRT
T1  - Polymorphic type inference for a simple object oriented programming language with state
T3  - Saarbrücken, 1990
A1  - Hense,Andreas V.
Y1  - 2011/09/07
N2  - We show how type inference for object oriented programming languages with state can be performed without type declarations. Our type inference system is based on the works of Remy and Wand which can in turn be traced back directly to Milner's classical type inference algorithm. O'small a simple object oriented language, is translated into mathcal{L}, a language of lambda-calculus with records and imperative features. Type inference rules are given for mathcal{L}. O'small-programs are type checked after being translated into mathcal{L}. We show that for translations of O'small-programs one can have a type system with principal types.
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/4221
ER  -