Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
What is "principal typing"?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-12-20 (21:53)
From: Tom <tom.primozic@g...>
Subject: What is "principal typing"?
Now, this may sound a stupid question, but I am no guru of mathematics and
type theory... Could somebody point me to some documents explaining what the
principal typing is and why is it useful? (Supposedly, this is some property
that type inference systems should have...)

- Tom