Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2 - Subtype polymorphism - Document - PDFSEARCH.IO

First Page	Meta Content
	Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2 Add to Reading List Document Date: 2015-01-08 08:10:54 Open Document File Size: 2,43 MB Share Result on Facebook Company Ecole Polytechnique PPS Type Theory Work Group / / SocialTag Polymorphism Subtype polymorphism Computing Type theory Software engineering Object-oriented programming

Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2Add to Reading List