Static correctness of hierarchical procedures

DOI10.1016/0304-3975(95)00086-0zbMath0871.68033OpenAlexW2078034662MaRDI QIDQ1351792

Michael I. Schwartzbach

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00086-0

zbMATH Keywords

subtype polymorphismflexible polymorphismopaque types

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites Work

• Fundamental properties of infinite trees
• Type extensions
• Infinite trees in normal form and recursive equations having a unique solution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Static correctness of hierarchical procedures