search

links-lang / links

Links: Linking Theory to Practice for the Web
http://www.links-lang.org
Other
332 stars 42 forks source link

De Bruijn levels / ranked type variables #677

Open jamescheney opened 5 years ago

jamescheney commented 5 years ago

Type inference could be made more efficient by indexing type variables with de Bruijn levels or ranks.

jamescheney commented 4 years ago

See also:

George Kuan, David MacQueen: Efficient type inference using ranked type variables. ML 2007: 3-14

http://people.cs.uchicago.edu/~gkuan/pubs/ml07-km.pdf