Approximate Normalization for Gradual Dependent Types

A Reasonably Gradual Dependent Type Theory - Kenji MaillardПодробнее

Normalization by Evaluation for Sized Dependent TypesПодробнее

[ICFP'22] A Reasonably Gradual Type TheoryПодробнее

Label Dependent Lambda Calculus and Gradual TypingПодробнее

A Role for Dependent Types in HaskellПодробнее

Label Dependent Lambda Calculus and Gradual TypingПодробнее

Parametric Quantifiers for Dependent Type TheoryПодробнее

[ICFP'22] Propositional Equality for Gradual Dependently Typed ProgrammingПодробнее

[TyDe'22] Towards Dependently-Typed Control Effects (Extended Abstract)Подробнее

Existentials, Universals, And Path Dependent Types For Practical, Safer InterfacesПодробнее

[POPL'22] Gradualizing the Calculus of Inductive ConstructionsПодробнее

06 Dependent Types and Effects in F*Подробнее

Dependent Types and Multi-Monadic Effects in F*Подробнее

Tiark Rompf - Strong Normalization for Dependent Object Types (DOT)Подробнее

Graded Modal Dependent Type Theory (ESOP 2021)Подробнее

Dependently Typed Haskell in Industry (Experience Report)Подробнее

How to Evaluate the Performance of Gradual Type SystemsПодробнее