A typed Lambda Calculus of Objects | Zendy

Luigi Liquori | Zendy; Giuseppe Castagna | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A typed Lambda Calculus of Objects

Author(s) -

Luigi Liquori,

Giuseppe Castagna

Publication year - 1996

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/bfb0027786

Subject(s) - computer science , lambda , calculus (dental) , typed lambda calculus , church encoding , simply typed lambda calculus , lambda calculus , system f , programming language , physics , optics , medicine , dentistry

International audienceIn this paper, we present an explicitly typed version of the Lambda Calculus of Objects of [7], which is a development of the object-calculi defined in [10, 2]. This calculus supports object extension in presence of object subsumption. Extension is the ability of modify the behavior of an object by adding new methods (and inheriting the existing ones). Object subsumption allows to use objects with a bigger interface in a context expecting another object with a smaller interface. This calculus has a sound and decidable type system, " width " subtyping, and it allows for first-class method bodies

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research