A Calculus of Coercive Subtyping

• Autoři: KOLLÁR Matej; PETERKA Ondřej; RYŠAVÝ Ondřej; ŠKARVADA Libor; KOLÁŘ Dušan
• Rok publikování: 2009
• Druh: Článek ve sborníku
• Konference: Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika

Související projekty

• Typový systém s hodnotově-závislými typy pro objektově-orientované programovací jazyky