Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics

First Page		Document Content
Date: 2013-09-23 13:44:35 Software engineering Computer programming Declarative programming Type theory Data types Functional programming Higher-order functions Object-oriented programming Subtyping Fold Map Function		Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics Add to Reading List Source URL: www.olejohandahl.info Download Document from Source Website File Size: 196,28 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