Subtyping - PDFSEARCH.IO - Document Search Engine

Subtyping
Results: 99

#	Item
31	Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Data types Type theory Type system Subtyping Union type Tagged union Pattern matching Monad ML Product type Type conversion Record
32	Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu Add to Reading List Source URL: i.cs.hku.hk Language: English - Date: 2015-08-09 21:04:41 Object-oriented programming Computability theory Theoretical computer science Programming idioms Type theory Functor Subtyping Combinatorial species Lambda calculus Monad Recursion Is-a
33	UNIVERSITY OF OSLO Department of Informatics A notation for combining formal reasoning, object Add to Reading List Source URL: folk.uio.no Language: English - Date: 2000-01-14 06:08:56 Object-oriented programming Inheritance Class Is-a Subtyping Method Objective-C Interface Polymorphism Multiple inheritance Object Constant
34	Improving Reuse of Component Families by Generating Component Hierarchies Marko Rosenmüller Norbert Siegmund Add to Reading List Source URL: wwwiti.cs.uni-magdeburg.de Language: English - Date: 2010-10-19 07:12:02 Object-oriented programming Inheritance Subtyping Feature model Is-a Class Mixin Multiple inheritance Code reuse Polymorphism Factory Common Lisp Object System
35	Contracts and Subtyping Robby Findler University of Chicago 1 Add to Reading List Source URL: www.eecs.northwestern.edu - Date: 2008-12-19 01:29:06
36	Moose Quick-Ref Card A modern object system for Perl 5 Exported Functions use Moose; Add to Reading List Source URL: gorwits.me.uk Language: English - Date: 2012-06-06 16:00:28 Software engineering Computer programming Computing Method Object-oriented programming Object Moose Metaclass Mutator method Constructor Subtyping Immutable object
37	Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA Add to Reading List Source URL: ecee.colorado.edu Language: English Type theory Software engineering Programming language theory Mathematical logic Type systems Data types Gradual typing Subtyping Symbol Type safety Model theory Type inference
38	Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-12-28 20:49:23 Software engineering Type theory Programming language theory Computing Parametric polymorphism Polymorphism Type system Covariance and contravariance HindleyMilner type system Type inference Subtyping System F
39	On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-08-04 23:16:28 Software engineering Type theory Object-oriented programming Computing Computer programming Data types Polymorphism Functional programming Covariance and contravariance Subtyping Generalized algebraic data type Variance