Detail publikace

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.
Název česky
Jazyk s podtypováním na bázi koercí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Škarvada Libor
Peterka Ondřej, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Kolář Dušan, doc. Dr. Ing. (UIFS)
a další
Klíčová slova

type theory, lambda calculus,coercive subtyping

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
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/"
}
Nahoru