[CST-2] Opt Comp. 1997/7/10

[Matej Pfajfar]

The question asks to explain the notion of a principal type. Presumably
the answer to this is that the principle type is just the principal type
scheme.
Then it also asks whether the set of type inference rules (for an ML-like
language), which you had to give in the previous part of the question, has
this propery.
I am a bit confused as to how type inference rules exhibit a principal
type property? Anyone?
thanks,

Mat

Matej Pfajfar
St John's College, University of Cambridge, UK

GPG Public Key @ http://matejpfajfar.co.uk/keys
Most people are good people, the rest of us are going to
run the world. -- badbytes

WARNING: THIS E-MAIL ACCOUNT WILL BE DELETED ON
         30/09/2002. PLEASE USE mp@cantab.net.