Back to Results
First PageMeta Content
Programming language theory / Data types / Polymorphism / Object-oriented programming / Functional programming / Subtype polymorphism / Parametric polymorphism / Ad-hoc polymorphism / Type system / Software engineering / Type theory / Computing


1 Computing Surveys, Vol 17 n. 4, pp[removed], December 1985 On Understanding Types, Data Abstraction, and Polymorphism Luca Cardelli
Add to Reading List

Document Date: 2007-10-27 09:17:29

Open Document

File Size: 161,17 KB

Share Result on Facebook

Company

Toyota / Luca Cardelli AT&T Bell Laboratories / Russell / /

IndustryTerm

type-checking algorithms / monomorphic type systems / typed systems / object-oriented type systems / e −− / type-checking algorithm / type systems / polymorphic type systems / /

Organization

Brown University / /

Person

Peter Wegner / Pascal / Murray Hill / Ada / /

/

Position

uniform model for both parametric and subtype polymorphism / Lisp language interpreter / programmer / /

ProgrammingLanguage

Ada / Algol 60 / CLU / Simula / Fortran / Pascal / Lisp / Smalltalk / Modula-2 / PL/I / ML / Algol 68 / /

ProvinceOrState

New Jersey / Rhode Island / /

Technology

functional programming / object-oriented programming / type-checking algorithm / type-checking algorithms / PL/I / /

SocialTag