English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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