Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. 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.
    2. 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.
Zobrazit podrobně
Zobrazeno: 4. 10. 2024 10:07