Back to Results
First PageMeta Content
Computing / Type class / Type inference / Type system / Hindley–Milner / Generalized algebraic data type / Kind / Parametric polymorphism / Constraint / Type theory / Software engineering / Programming language theory


Let Should Not Be Generalised Dimitrios Vytiniotis
Add to Reading List

Document Date: 2009-11-12 10:54:14

Open Document

File Size: 242,62 KB

Share Result on Facebook

City

Madrid / Cambridge / /

Company

NoGen / Wright / Microsoft / /

Country

Belgium / United Kingdom / Spain / /

Currency

pence / /

/

Facility

Scrap Your Boilerplate library / Hackage library / /

IndustryTerm

software-engineering / inference algorithm / reasonable algorithm / call site / automatic code refactoring tools / type systems / described algorithm / present type inference infrastructure / /

Organization

Katholieke Universiteit Leuven / Fund for Scientific Research / /

Person

Mark Jones / Simon Peyton Jones Tom Schrijvers / /

Position

red-blooded functional programmer / Structure General / Post-doctoral researcher / programmer / /

Product

Pentax K-x Digital Camera / /

ProgrammingLanguage

Haskell / R / ML / K / /

Technology

Java / Hindley-Milner algorithm / inference algorithm / reasonable algorithm / informally described algorithm / /

SocialTag