POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented to the Faculty of the Graduate School

Source URL: users.cis.fiu.edu

Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

Source URL: www.cs.utah.edu

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

Source URL: homes.cs.washington.edu

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

Source URL: www.nih.go.jp

Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact OPL *

Source URL: www.cl.cam.ac.uk

A Mechanical Soundness Proof for Subtyping Over Recursive Types Timothy Jones David J. Pearce School of Engineering and Computer Science Victoria University of Wellington, New Zealand {tim,djp}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping Alexandre Miquel1 INRIA Rocquencourt – Projet LogiCal BP 105, Le Chesnay cedex, France

Source URL: www.fing.edu.uy

Optimal Representations of Polymorphic Types with Subtyping Alexander Aiken Edward L. Wimmers

Source URL: digitalassets.lib.berkeley.edu

A Logical Approach To Deciding Semantic Subtyping

Source URL: tyrex.inria.fr

Adresses English version – SOSI standard 4.0 Adresses English version – SOSI standard 4.0 Adresses

Source URL: www.kartverket.no

• Data types
• Computing
• Primitive types
• Software engineering
• C++
• Computer programming
• Reference
• Subtyping
• Integer
• String