Back to Results
First PageMeta Content
Constraint programming / Logic programming / Propositional calculus / Admissible rule / Modal logic / Substitution / Symbol / Natural deduction / Logic / Mathematical logic / Software engineering


Document Date: 2011-02-25 06:00:04

Open Document

File Size: 317,83 KB

Share Result on Facebook

City

Cambridge / Edinburgh / /

Company

Microsoft / Intaris Software GmbH / /

Country

United Kingdom / Germany / /

Currency

pence / GHS / /

/

IndustryTerm

incomparable solutions / inference algorithm / constraint generation algorithm / proper constraints solutions / restricted implication solver algorithm / online version / arbitrary solution / unification algorithm / type inference algorithm / solver algorithm / /

Organization

United Nations / ETA / Katholieke Universiteit Leuven / U.S. Securities and Exchange Commission / Fund for Scientific Research / /

Person

Typing Rules / Peyton Jones / Casey Klein / Robby Findler / Simon Peyton Jones Martin Sulzmann Katholieke / Tom Schrijvers / /

Position

Structure General / Post-doctoral researcher / programmer / /

ProgrammingLanguage

Haskell / C / K / /

Technology

Functional Programming / inference algorithm The solver algorithm / This algorithm / Solver algorithm / existing algorithm / 4 We Generating implication constraints The constraint generation algorithm / restricted implication solver algorithm / unification algorithm / inference algorithm / GADT inference algorithm / dom / The type inference algorithm / /

URL

http /

SocialTag