Výpis publikací

2009

1. A Calculus of Coercive Subtyping

   KOLLÁR, Matej, Ondřej PETERKA, Ondřej RYŠAVÝ a Libor ŠKARVADA. A Calculus of Coercive Subtyping. In Technical Report FIMU-RS-2009-11. FI, Brno: Faculty of Informatics, MU Brno, 2009.

   Podrobněji: https://is.muni.cz/publication/878522/cs
2. A Calculus of Coercive Subtyping

   KOLLÁR, Matej, Ondřej PETERKA, Ondřej RYŠAVÝ, Libor ŠKARVADA a Dušan KOLÁŘ. A Calculus of Coercive Subtyping. In Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages. South Orange, NJ, USA: Seton Hall University, 2009, s. 182-191.

   Podrobněji: https://is.muni.cz/publication/878515/cs