Project information
Dependent type system for object-oriented programming languages

Project Identification

GA201/09/1316

Project Period

1/2009 - 3/2010

Investor / Pogramme / Project type

Czech Science Foundation

Standard Projects

MU Faculty or unit

Faculty of Informatics

RNDr. Libor Škarvada

Cooperating Organization

Brno University of Technology

Responsible person doc. Ing. Dušan Kolář, Dr.

Publications

Total number of publications: 1

2009

A Calculus of Coercive Subtyping

KOLLÁR Matej PETERKA Ondřej RYŠAVÝ Ondřej ŠKARVADA Libor KOLÁŘ Dušan

Article in Proceedings

Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages, year: 2009