zbMath1121.68022MaRDI QIDQ3593500
Ferruccio Damiani
Publication date: 20 July 2007
zbMATH Keywords
type inference; polymorphic recursion; principle typings
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
03B40: Combinatory logic and lambda calculus
Related Items