A Calculus of Coercive Subtyping

• Authors: KOLLÁR Matej; PETERKA Ondřej; RYŠAVÝ Ondřej; ŠKARVADA Libor; KOLÁŘ Dušan
• Year of publication: 2009
• Type: Article in Proceedings
• Conference: Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages
• MU Faculty or unit: Faculty of Informatics
• Field: Informatics

Related projects

• Dependent type system for object-oriented programming languages