Detail publikačního výsledku

A Calculus of Coercive Subtyping

ŠKARVADA, L.; PETERKA, O.; RYŠAVÝ, O.; KOLÁŘ, D.

Originální název

A Calculus of Coercive Subtyping

Anglický název

A Calculus of Coercive Subtyping

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

type theory, lambda calculus,coercive subtyping

Autoři

ŠKARVADA, L.; PETERKA, O.; RYŠAVÝ, O.; KOLÁŘ, D.

Vydáno

18.11.2009

Nakladatel

Seton Hall University

Místo

South Orange

Kniha

Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages

Edice

SHU-TR-CS-2009-09-01

Strany od

182

Strany do

192

Strany počet

11

URL

https://www.fit.vut.cz/research/publication/9111/

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

Dokumenty

ifl_09_slides
oops_09_subfamilies