Detail publikace

A Calculus of Coercive Subtyping

ŠKARVADA Libor, PETERKA Ondřej, RYŠAVÝ Ondřej a KOLÁŘ Dušan. A Calculus of Coercive Subtyping. In: 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, s. 182-192.
Název česky
Jazyk s podtypováním na bázi koercí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Škarvada Libor, RNDr. (FI MUNI)
Peterka Ondřej, Ing. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Kolář Dušan, doc. Dr. Ing. (UIFS FIT VUT)
Abstrakt

Práce se zabývá systémem lambda kalkulu s podtypováním založeným na koercích mezi termy jazyka. Oproti systému autorů Aspinall a Compagnoni, podtypování není založeno na přetěžování termů. Narozdíl od práce autora Luo, prezentovaný systém rozšiřuje přímo pravidla typování bez přidání pomocných mechanismů.

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, South Orange, NJ, US
Vydavatel
Seton Hall University
Místo
South Orange, US
BibTeX 
@INPROCEEDINGS{FITPUB9111,
   author = "Libor \v{S}karvada and Ond\v{r}ej Peterka and Ond\v{r}ej Ry\v{s}av\'{y} and Du\v{s}an Kol\'{a}\v{r}",
   title = "A Calculus of Coercive Subtyping",
   pages = "182--192",
   booktitle = "Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages",
   series = "SHU-TR-CS-2009-09-01",
   year = 2009,
   location = "South Orange, US",
   publisher = "Seton Hall University",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9111"
}
Nahoru