A reasonably gradual type theory

Gradualizing the Calculus of Inductive Constructions (CIC) involves dealing with subtle tensions between normalization, graduality, and conservativity with respect to CIC. Recently, GCIC has been proposed as a parametrized gradual type theory that admits three variants, each sacrificing one of these...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2022-08, Vol.6 (ICFP), p.931-959
Hauptverfasser:	Maillard, Kenji, Lennon-Bertrand, Meven, Tabareau, Nicolas, Tanter, Éric
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Logic in Computer Science Programming Languages
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!