On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction

First Page		Document Content
Date: 2013-08-04 23:16:28 Software engineering Type theory Object-oriented programming Computing Computer programming Data types Polymorphism Functional programming Covariance and contravariance Subtyping Generalized algebraic data type Variance		On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction Add to Reading List Source URL: www.math.nagoya-u.ac.jp Download Document from Source Website File Size: 39,07 KB Share Document on Facebook

	POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented to the Faculty of the Graduate School DocID: 1uqA0 - View Document
	Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3 DocID: 1tFQF - View Document
	Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of DocID: 1tF39 - View Document
	Jpn. J. Infect. Dis., 59, 2006 Laboratory and Epidemiology Communications Rapid Subtyping of Influenza A Virus by Loop-Mediated Isothermal Amplification: Two Cases of Influenza Patients Who Returned from Thailand DocID: 1tlLN - View Document
	Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact OPL * DocID: 1t6Ds - View Document