21:06 [FARM'26] Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 610 views • 1 month ago
27:23 [LOPSTR+PPDP'26] Certified hardware for regexp matching: A rocq library and its workflow 173 views • 1 month ago
18:03 [ICFP'26] Confluence Techniques for Dependent Type Theory with Typed Conversion 200 views • 1 month ago
19:38 [ICFP'26] Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs(…) 174 views • 1 month ago
26:08 [LOPSTR+PPDP'26] Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations 117 views • 1 month ago
10:30 [Haskell'26] Lightning Talk: Morphosyntactic Programming: Case, Mood, and Type-Directed(…) 179 views • 1 month ago
11:24 [Haskell'26] Lightning Talk: Programming with Extensible Recursive Datatypes 179 views • 1 month ago
1:17:14 [LOPSTR+PPDP'26] Proof-Carrying Code For the Age of AI: Machine-Checked Guarantees from(…) 128 views • 1 month ago
1:06:03 [Haskell'26] What Have We Learned about Dependently Typed Programming from Haskell? (Keynote) 139 views • 1 month ago
