scientific article; zbMATH DE number 512775
From MaRDI portal
Publication:4281468
zbMath0797.68027MaRDI QIDQ4281468
Giuseppe Castagna, Giorgio Ghelli
Publication date: 19 October 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semantics\(\lambda\)-calculusfunctional programming languageobject oriented programmingoverloadingearly bindingfunctional expressiveness
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)
Related Items (6)
A meta-language for typed object-oriented languages ⋮ Dynamic overloading with copy semantics in object-oriented languages: a formal account ⋮ Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping ⋮ Basic theory of \(F\)-bounded quantification. ⋮ Dependent types with subtyping and late-bound overloading ⋮ Foundations for extensible objects with roles
This page was built for publication:
