On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA - Programming Computable Functions - Document - PDFSEARCH.IO

First Page	Meta Content
	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Document Date: 2012-02-08 07:43:20 Open Document File Size: 363,03 KB Share Result on Facebook Person Julien Cretin Didier Rémy / / SocialTag Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory

On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIAAdd to Reading List