Functional Type Assignment for Featherweight Java

DOI10.1007/978-3-642-40355-2_4zbMath1405.68034OpenAlexW1033169066MaRDI QIDQ5410450

S. J. van Bakel, Reuben N. S. Rowe

Publication date: 16 April 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-40355-2_4

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Uses Software

• ML
• CLEAN
• Featherweight Java

Cites Work

• Unnamed Item
• Unnamed Item
• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• An extension of basic functionality theory for \(\lambda\)-calculus
• Complete restrictions of the intersection type discipline
• A theory of type polymorphism in programming
• Intersection type assignment systems
• Normalization results for typeable rewrite systems
• Normalization, approximation, and semantics for combinator systems
• Logical equivalence for subtyping object and recursive types
• Strict intersection types for the Lambda Calculus
• Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming
• A filter lambda model and the completeness of type assignment
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• Completeness and Soundness Results for 𝒳 with Intersection and Union Types