User loginNavigation 
The HM system does not have principal typings for all terms...so do not all the PLs based on it, do they? Which systems do have them? Read on: The essence of principal typings This paper presents a new general definition of principal typings which does not depend on the details of any particular type system. This paper shows that the new general definition correctly generalizes previous systemdependent definitions. This paper explains why the new definition is the right one. Furthermore, the new definition is used to prove that certain polymorphic type systems using for allquantifiers, namely System F and the Hindley/Milner system, do not have principal typings.Am I just overly enthusiastic of finding a new source of interesting reading, or are these 12 pages really a worth reading for anybody designing a new PL? By Andris Birkmanis at 20050209 11:35  LtU Forum  previous forum topic  next forum topic  other blogs  8094 reads

Browse archivesActive forum topicsNew forum topics 
Recent comments
6 min 15 sec ago
3 days 7 hours ago
3 days 10 hours ago
3 days 14 hours ago
4 days 7 hours ago
4 days 17 hours ago
6 days 7 hours ago
6 days 9 hours ago
6 days 10 hours ago
6 days 15 hours ago