Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday
From MaRDI portal
Publication:2026790
DOI10.1007/978-3-319-30734-3_12zbMath1475.68082OpenAlexW2345456692MaRDI QIDQ2026790
Jovanka Pantović, Svetlana Jakšić, Nobuko Yoshida, Silvia Ghilezan, Mariangiola Dezani-Ciancaglini
Publication date: 20 May 2021
Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_12
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Precise subtyping for synchronous multiparty sessions ⋮ Event structure semantics for multiparty sessions
This page was built for publication: Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday
