Subtyping - PDFSEARCH.IO - Document Search Engine

Subtyping
Results: 99

#	Item
91	Ancient links between Siberians and Native Americans revealed by subtyping the Y chromosome haplogroup Q1a Add to Reading List Source URL: malyarchuk-bor.narod.ru Language: English - Date: 2013-04-21 03:53:44 Pleistocene Neogene Human Y-chromosome DNA haplogroup Haplogroup Q Haplogroup Haplogroup K Haplotype 35 Human evolution Recent single origin hypothesis Genetics
92	Universe Polymorphism: Subtyping and Unification Matthieu Sozeau Project Team πr 2 INRIA & PPS, Paris 7 Add to Reading List Source URL: mattam.org Language: English - Date: 2014-01-16 05:12:23 Computing Polymorphism Data types Functional programming Subtype polymorphism Bounded quantification System F Inheritance Unification Software engineering Type theory Object-oriented programming
93	A Practical Subtyping System For Erlang Simon Marlow Philip Wadler [removed] [removed] University of Glasgow Bell Labs, Lucent Technologies Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:15 Programming language theory Constraint programming Data types Polymorphism Logic programming Type system Subtype polymorphism Type inference Unification Type theory Software engineering Mathematics
94	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Type theory Object-oriented programming Data types Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Theoretical computer science Software engineering Mathematics
95	On Variance-Based Subtyping for Parametric Types Atsushi Igarashi1 and Mirko Viroli2 Add to Reading List Source URL: www.sato.kuis.kyoto-u.ac.jp Language: English - Date: 2003-01-07 03:41:10 Object-oriented programming Polymorphism Computing Data types Covariance and contravariance Subtype polymorphism Euclidean vector Generic programming Bounded quantification Software engineering Type theory Algebra
96	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Theoretical computer science Data types Computing Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Software engineering Type theory Object-oriented programming
97	Ancient links between Siberians and Native Americans revealed by subtyping the Y chromosome haplogroup Q1a Add to Reading List Source URL: www.sjdimond.us Language: English - Date: 2012-01-28 13:49:08 Pleistocene Neogene Human Y-chromosome DNA haplogroup Haplogroup Q Haplogroup Haplogroup K Haplotype 35 Human evolution Recent single origin hypothesis Genetics
98	Subtyping and Polymorphism in Object-Role Modelling T.A. Halpin and H.A. Proper1 Add to Reading List Source URL: www.orm.net Language: English - Date: 2004-04-03 17:42:38 Computing Type theory Computer programming Data types Polymorphism Subtype polymorphism Object-Role Modeling Inheritance Data model Software engineering Object-oriented programming Data modeling
99	Type Inference for Record Concatenation and Subtyping Jens Palsberg Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:20:33 Data types Theoretical computer science Formal languages Computing Object-oriented programming Obliq Subtype polymorphism Type system Concatenation Mathematics Software engineering Type theory

UPDATE