Detail výsledku

A Calculus of Coercive Subtyping

ŠKARVADA, L.; PETERKA, O.; RYŠAVÝ, O.; KOLÁŘ, D. A Calculus of Coercive Subtyping. Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages. SHU-TR-CS-2009-09-01. South Orange: Seton Hall University, 2009. p. 182-192.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Škarvada Libor
Peterka Ondřej, Ing., FIT (FIT), UIFS (FIT)
Ryšavý Ondřej, doc. Ing., Ph.D., UIFS (FIT)
Kolář Dušan, doc. Dr. Ing., UIFS (FIT)
a další
Abstrakt

Our work that stems, in particular, from the research done by Aspinall and Compagnoni, and Luo attempts to provide a framework for systematical studying coercive subtyping in dependent type systems. Contrary to Aspinall and Compagnoni we define subtyping based on coercions instead of allowing term overloading. Contrary to Luo we implemented coercive subtyping as direct extension of \lambda P type system instead of introducing definitional mechanism, which is more powerfull but leads to more complicated presentation of a system.

Klíčová slova

type theory, lambda calculus,coercive subtyping

Rok
2009
Strany
182–192
Sborník
Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages
Řada
SHU-TR-CS-2009-09-01
Konference
21st Symposium on Implementation and Application of Functional Languages
Vydavatel
Seton Hall University
Místo
South Orange
BibTeX 
@inproceedings{BUT34397,
  author="Libor {Škarvada} and Ondřej {Peterka} and Ondřej {Ryšavý} and Dušan {Kolář}",
  title="A Calculus of Coercive Subtyping",
  booktitle="Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages",
  year="2009",
  series="SHU-TR-CS-2009-09-01",
  pages="182--192",
  publisher="Seton Hall University",
  address="South Orange",
  url="https://www.fit.vut.cz/research/publication/9111/"
}
Soubory
Projekty
Typový systém s hodnotově-závislými typy pro objektově-orientované programovací jazyky, GAČR, Standardní projekty, GA201/09/1316, zahájení: 2009-01-01, ukončení: 2009-12-31, ukončen
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru