Feature-Oriented Programming with Object Algebras Bruno C.d.S. Oliveira1 , Tijs van der Storm2 , Alex Loh3 , William R. Cook3 1 National University of Singapore ()

First Page		Document Content
Date: 2013-04-19 04:38:27 Object-oriented programming Type theory Data types Scala Algebra over a field Combinatory logic Factory Subtyping Is-a Polymorphism Von Neumann algebra Type system		Feature-Oriented Programming with Object Algebras Bruno C.d.S. Oliveira1 , Tijs van der Storm2 , Alex Loh3 , William R. Cook3 1 National University of Singapore () Add to Reading List Source URL: i.cs.hku.hk Download Document from Source Website File Size: 401,36 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