<--- Back to Details
First PageDocument Content
Computing / Computer programming / Data types / Polymorphism / Subtype polymorphism / Type system / Bounded quantification / Inheritance / Covariance and contravariance / Software engineering / Object-oriented programming / Type theory
Date: 2007-01-03 10:18:19
Computing
Computer programming
Data types
Polymorphism
Subtype polymorphism
Type system
Bounded quantification
Inheritance
Covariance and contravariance
Software engineering
Object-oriented programming
Type theory

Add to Reading List

Source URL: www.cis.upenn.edu

Download Document from Source Website

File Size: 250,58 KB

Share Document on Facebook

Similar Documents

Mathematical logic / Metalogic / Logic / Model theory / Type theory / Proof assistants / Proof theory / Higher-order logic / Theoretical computer science / Isabelle / Simply typed lambda calculus / Gdel's incompleteness theorems

Proof-producing reflection for HOL with an application to model polymorphism Benja Fallenstein1 and Ramana Kumar2 1 2

DocID: 1xTr9 - View Document

Variation data This document explains the variation data present on the EnsemblPlants website. Here the term variation data is used synonymously for Single Nucleotide Polymorphism (SNP) data and small Insertion/Deletions

DocID: 1vqdd - View Document

Mapping Polymorphism Ryan Wisnesky (Harvard) Mauricio Hernandez (IBM Almaden) Lucian Popa (IBM Almaden) ICDT 2010

DocID: 1vnrC - View Document

Mapping Polymorphism∗ Ryan Wisnesky Harvard University IBM Almaden Research Center

DocID: 1v4xB - View Document

Levity Polymorphism (extended version) Richard A. Eisenberg Simon Peyton Jones Bryn Mawr College

DocID: 1v4eI - View Document