[ICFP'23] How to Evaluate Blame for Gradual Types, Part 2

[ICFP'23] How to Evaluate Blame for Gradual Types, Part 2Подробнее

How to Evaluate Blame for Gradual TypesПодробнее

[ICFP24] Static Blame for gradual typingПодробнее

Gradual Types with Union and Intersection TypesПодробнее

ICFP 2018 Keynote Address: Gradual TypingПодробнее

I DIDN’T KNOW I COULD TYPE THIS FAST…🤯200 WPM CHALLENGE DAY 18Подробнее

ASPLOS'23 - Session 6B - Cooperative Concurrency Control for Write-Intensive Key-Value WorkloadsПодробнее

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

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

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

[ICFP’23] Vashon 2Подробнее

On Polymorphic Gradual TypingПодробнее

The WILDCARD type in typing Module || 2MinutesPyПодробнее

[ICFP'23] Grand Ballroom 2Подробнее

[IWACO24] Ordered Types for TypestateПодробнее

CMU Advanced NLP 2024 (2): Word Representation and Text ClassificationПодробнее

[POPL'24] Type-based Gradual Typing Performance OptimizationПодробнее

Writing Efficiency 2: How to Use AIПодробнее

Sparcl: A Language for Partially-Invertible Computation (ICFP 2020)Подробнее

Transitioning from Structural to Nominal Code with Efficient Gradual TypingПодробнее