Types as parameters

DOI10.1007/3-540-56610-4_96zbMath1497.68115OpenAlexW1601152948MaRDI QIDQ5044771

No author found.

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_96

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Uses Software

• ML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Functorial polymorphism
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Automatic synthesis of typed \(\Lambda\)-programs on term algebras
• Polymorphic type inference and containment
• A theory of type polymorphism in programming
• Categorical data types in parametric polymorphism
• A semantic basis for Quest
• An extension of system F with subtyping
• Types, abstraction, and parametric polymorphism, part 2

This page was built for publication: Types as parameters