UU-CS-2004-051 Daan Leijen Institute of Information / /
IndustryTerm
nice law / unification algorithm / type inference algorithm / given unification algorithm / inference algorithm / static type systems / module systems / given algorithm / improvement algorithm / /
Organization
UU-CS-2004-051 Daan Leijen Institute of Information and Computing Sciences / Utrecht University / /
ProgrammingLanguage
C / Java / /
Technology
improvement algorithm / inference algorithm / 3 The algorithm / 2 The unification algorithm / type inference algorithm / Java / given algorithm / given unification algorithm / /