[TyDe24] Type-level Property Based Testing

(20:2)

[TyDe24] Normalizable types

(23:16)

[TyDe24] A Type- And Control- Flow Analysis for System FC (Extended Abstract)

(21:54)

[TyDe24] Towards Type-Directed API Search for Mainstream Languages

(27:23)

[TyDe24] Dependent Types to Push Corners of the Property-based Testing (Extended Abstract)

(20:36)

[TyDe24] Typed, Concise, Nanopass (pick 3) (Extended Abstract)

(22:45)

[TyDe24] First-class Algebraic Presentations with Elaborator Reflection (Extended Abstract)

(20:1econd)

[TyDe24] How Novices Perceive Interactive Theorem Provers (Extended Abstract)

(22:55)

[TyDe24] Term Search in Rust

(20:19)

[TyDe24] Modal Mu-Calculus for Free in Agda

(19:31)

[FREE] Morad x PNL x Beny Jr Type Beat \

(2:49)

[FREE] Morad x Beny Jr Afro Trap Type Beat \

(3:8)

[FREE] Digga D X Teeway X UK Drill Type Beat 2024 - \

(2:13)

[FREE] Sha Gz X Dthang X NY Sample Drill Type Beat 2024 - \

(2:11)

Thrife Type Beat 2024 I \

(2:1econd)

[FREE] Kyle Richh X Jenn Carter X Jerk Drill Type Beat 2024 - \

(2:2)

[FREE] EST Gee X Detroit Type Beat 2024 - \

(2:35)

[FREE] (41) Kyle Richh X Jenn Carter X NY Drill Type Beat 2024 - \

(2:)

[FREE] Teeway X Booter Bee X UK Drill Type Beat 2024 - \

(2:17)