1![POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented to the Faculty of the Graduate School POLYMORPHIC TYPE INFERENCE FOR LANGUAGES WITH OVERLOADING AND SUBTYPING A Dissertation Presented to the Faculty of the Graduate School](https://www.pdfsearch.io/img/a181cbdccabb0b4ed3e39eb958997a83.jpg) | Add to Reading ListSource URL: users.cis.fiu.eduLanguage: English - Date: 2007-07-31 14:58:20
|
---|
2![Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3 Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3](https://www.pdfsearch.io/img/338b2935e303f842d60397dc2597e753.jpg) | Add to Reading ListSource URL: www.cs.utah.edu- Date: 2004-04-03 19:39:33
|
---|
3![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 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](https://www.pdfsearch.io/img/d4893552f12370c5c0718459f6f3d51d.jpg) | Add to Reading ListSource URL: homes.cs.washington.edu- Date: 2017-06-23 18:20:16
|
---|
4![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 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](https://www.pdfsearch.io/img/5bd7ff03a54a8b59299fc37e47a7a2c7.jpg) | Add to Reading ListSource URL: www.nih.go.jp- Date: 2006-06-20 02:33:39
|
---|
5![Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact OPL * Polymorphism, Subtyping, and Type Inference in MLsub Alan Mycroft tifact OPL *](https://www.pdfsearch.io/img/53480e6abd367d1a562913c9b0ff04c6.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.uk- Date: 2016-11-07 17:18:10
|
---|
6![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 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](https://www.pdfsearch.io/img/4dd407e9fe6b1063ae45990e6815a0d4.jpg) | Add to Reading ListSource URL: homepages.ecs.vuw.ac.nz- Date: 2016-06-28 21:00:30
|
---|
7![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 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](https://www.pdfsearch.io/img/1628a6149a64b77d4f96481cf46f81af.jpg) | Add to Reading ListSource URL: www.fing.edu.uy- Date: 2015-05-12 11:26:49
|
---|
8![Optimal Representations of Polymorphic Types with Subtyping Alexander Aiken Edward L. Wimmers Optimal Representations of Polymorphic Types with Subtyping Alexander Aiken Edward L. Wimmers](https://www.pdfsearch.io/img/2aaa7a885ba6ac1aef85876f71f1cfa3.jpg) | Add to Reading ListSource URL: digitalassets.lib.berkeley.edu- Date: 2008-11-21 17:11:06
|
---|
9![A Logical Approach To Deciding Semantic Subtyping A Logical Approach To Deciding Semantic Subtyping](https://www.pdfsearch.io/img/5346e83dbe3394dce0949c95097e917c.jpg) | Add to Reading ListSource URL: tyrex.inria.fr- Date: 2015-12-08 05:50:52
|
---|
10![Data types / Computing / Primitive types / Software engineering / C++ / Computer programming / Reference / Subtyping / Integer / String Data types / Computing / Primitive types / Software engineering / C++ / Computer programming / Reference / Subtyping / Integer / String](/pdf-icon.png) | Add to Reading ListSource URL: www.kartverket.noLanguage: English - Date: 2015-07-22 04:38:27
|
---|