Back to Results
First PageMeta Content
Computer programming / Data types / Functional languages / Procedural programming languages / Functional programming / Standard ML / Algebraic data type / Type system / Tagged union / Software engineering / Computing / Type theory


1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i
Add to Reading List

Document Date: 2011-11-23 03:22:14

Open Document

File Size: 197,66 KB

Share Result on Facebook

City

Sasaguri / Portland / Baltimore / Cambridge / /

Company

Prentice-Hall / MIT Press / /

Country

Japan / Spain / /

Facility

Kyoto University Research Institute / /

IndustryTerm

unification algorithm / type checking algorithm / /

Organization

Institute for Mathematical Sciences / MIT / Kyoto University / /

Person

Peyton Jones / Jacques Garrigue† Polymorphic / /

Position

Harper / programmer / /

ProgrammingLanguage

Objective Caml / ML / /

ProvinceOrState

Oregon / Massachusetts / /

Technology

Functional Programming / typing algorithm / unification algorithm / type checking algorithm / /

SocialTag