On Irrelevance and Algorithmic Equality in Predicative Type Theory

Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To separate static and dynamic code, several static analyses and type systems have been put forward. We consider Pfenning's type theory with irre...

Celý popis

Podrobná bibliografia

Vydané v:	Logical methods in computer science Ročník 8, Issue 1
Hlavní autori:	Abel, Andreas, Scherer, Gabriel
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Logical Methods in Computer Science e.V 01.01.2012
Predmet:	computer science - logic in computer science computer science - programming languages f.4.1
ISSN:	1860-5974, 1860-5974
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!