Back to Results
First PageMeta Content
Computing / Functional languages / Procedural programming languages / Type systems / Type inference / Standard ML / ML / Unification / Principal type / Programming language theory / Type theory / Software engineering


Dimension Types ? Andrew Kennedy University of Cambridge
Add to Reading List

Document Date: 2010-07-30 11:22:53

Open Document

File Size: 196,20 KB

Share Result on Facebook

City

Cambridge / /

/

Facility

Andrew Kennedy University of Cambridge Computer Laboratory Pembroke Street / /

IndustryTerm

straightforward algorithm / n-fold product / type inference algorithm / type inference algorithms / /

Organization

Andrew Kennedy University / Kennedy University / /

Position

programmer / /

ProgrammingLanguage

Haskell / ML / Standard ML / Pascal / /

TVStation

Wand / /

Technology

type inference algorithms / The algorithm / algorithm Infer The type inference algorithm / straightforward algorithm / /

SocialTag