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

First Page		Document Content
Date: 2015-01-08 08:10:54 Polymorphism Subtype polymorphism Computing Type theory Software engineering Object-oriented programming		Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2 Add to Reading List Source URL: who.rocq.inria.fr Download Document from Source Website File Size: 2,43 MB Share Document on Facebook

	Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi DocID: 1gxoo - View Document
	ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language DocID: 1gch4 - View Document
	A Type System for Components? Ornela Dardha1 1 Elena Giachino1 DocID: 1ga1B - View Document
	Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2 DocID: 1fTjd - View Document
	Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3 DocID: 1fBcj - View Document