Back to Results
First PageMeta Content
Applied mathematics / Formal methods / Models of computation / Computability theory / System F / Predicate / Lambda calculus / Function / Unification / Mathematics / Type theory / Theoretical computer science


First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands
Add to Reading List

Document Date: 2005-04-26 18:48:58

Open Document

File Size: 204,36 KB

Share Result on Facebook

City

Perm / /

Country

Netherlands / /

/

Facility

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 / /

SocialTag