A semantic basis for Quest

DOI10.1017/S0956796800000198MaRDI QIDQ4939689zbMATH OpenWikidataFDO

Authors Luca Cardelli, Giuseppe Longo

Publication date 8 February 2000

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796800000198

zbMATH Keywords

impredicative type quantifierspartial equivalence relation model of typesprogramming language Questsemanticssubtypingtype inference rules

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Cites work

• A semantics of multiple inheritance
• scientific article; zbMATH DE number 49833 (Why is no real title available?)
• Lambda‐Calculus Models and Extensionality
• Polymorphic type inference and containment
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(18)

• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
• Typed operational semantics for higher-order subtyping.
• A computable expression of closure to efficient causation
• Subtyping recursion and parametric polymorphism in kernel Fun
• Basic theory of F-bounded quantification.
• Comparing object encodings.
• Type destructors
• Foundations for virtual types
• Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
• Types for modules
• CPO-models for second order lambda calculus with recursive types and subtyping
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Types as parameters
• Subtyping + extensionality: confluence of \(\beta \eta\)top reduction in \(\mathrm{F}_\leq\)
• An operational semantics for TOOPLE: A statically-typed object-oriented programming language
• An exper model for Quest
• From CML to its process algebra
• Divergence of \(F_{\leq}\) type checking

This page was built for publication: A semantic basis for Quest

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4939689)