Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of Pennsylvania

Source URL: homepages.inf.ed.ac.uk

• Data types
• Type theory
• Type system
• Subtyping
• Union type
• Tagged union
• Pattern matching
• Monad
• ML
• Product type
• Type conversion
• Record

Modular Reifiable Matching A List-of-Functors Approach to Two-Level Types Bruno C. d. S. Oliveira Shin-Cheng Mu

Source URL: i.cs.hku.hk

• Object-oriented programming
• Computability theory
• Theoretical computer science
• Programming idioms
• Type theory
• Functor
• Subtyping
• Combinatorial species
• Lambda calculus
• Monad
• Recursion
• Is-a

UNIVERSITY OF OSLO Department of Informatics A notation for combining formal reasoning, object

Source URL: folk.uio.no

• Object-oriented programming
• Inheritance
• Class
• Is-a
• Subtyping
• Method
• Objective-C
• Interface
• Polymorphism
• Multiple inheritance
• Object
• Constant

Improving Reuse of Component Families by Generating Component Hierarchies Marko Rosenmüller Norbert Siegmund

Source URL: wwwiti.cs.uni-magdeburg.de

• Object-oriented programming
• Inheritance
• Subtyping
• Feature model
• Is-a
• Class
• Mixin
• Multiple inheritance
• Code reuse
• Polymorphism
• Factory
• Common Lisp Object System

Contracts and Subtyping Robby Findler University of Chicago 1

Source URL: www.eecs.northwestern.edu

Moose Quick-Ref Card A modern object system for Perl 5 Exported Functions use Moose;

Source URL: gorwits.me.uk

• Software engineering
• Computer programming
• Computing
• Method
• Object-oriented programming
• Object
• Moose
• Metaclass
• Mutator method
• Constructor
• Subtyping
• Immutable object

Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA

Source URL: ecee.colorado.edu

• Type theory
• Software engineering
• Programming language theory
• Mathematical logic
• Type systems
• Data types
• Gradual typing
• Subtyping
• Symbol
• Type safety
• Model theory
• Type inference

Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Type theory
• Programming language theory
• Computing
• Parametric polymorphism
• Polymorphism
• Type system
• Covariance and contravariance
• HindleyMilner type system
• Type inference
• Subtyping
• System F

On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Type theory
• Object-oriented programming
• Computing
• Computer programming
• Data types
• Polymorphism
• Functional programming
• Covariance and contravariance
• Subtyping
• Generalized algebraic data type
• Variance