Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue - Milner - Document - PDFSEARCH.IO

First Page	Meta Content
	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Document Date: 2013-12-10 00:25:45 Open Document File Size: 50,75 KB Share Result on Facebook Facility Nagoya University / / IndustryTerm non-monotonous propagation algorithm / / Organization Nagoya University / / Person Type Inference / Jacques Garrigue / / Technology non-monotonous propagation algorithm / / SocialTag Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering

Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´Add to Reading List