Dependent Types and Multi-Monadic Effects in F*

06 Dependent Types Effects and Efficient Verification Conditions in F starПодробнее

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

Dependent typesПодробнее

Dependent Types with David Christiansen – Functional FuturesПодробнее

10 Monadic EffectsПодробнее

Krzysztof Gogolewski - An Introduction to Dependent Types (Part 1 & 2 / 4)Подробнее

f(by) 2020: Dependent types, Vitaly BragilevskyПодробнее

Dependent TypesПодробнее

F(by) 2017. Jon Pretty - Impromptu: Representing Async Graphs with Dependent Types.Подробнее

Didier Plaindoux - Dependent Types: From Theory to Practice - #FS2024Подробнее

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

Nihil Shah- Environmental Dependencies as Coeffects- λC 2019Подробнее

The Fire Triangle - How to Mix Substitution, Dependent Elimination, and EffectsПодробнее

09 Programming with Monadic CSP Style Processes in Dependent Type TheoryПодробнее

06 Introduction to Dependent TypesПодробнее

Dan Licata, A fibrational framework for substructural and modal dependent type theoriesПодробнее

Approximate Normalization for Gradual Dependent TypesПодробнее

Lecture 07 Dependent TypesПодробнее

Zymposium — Path Dependent TypesПодробнее