30:27 [ICFP'23] A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized ACM SIGPLAN
1:06:49 [ICFP'23] The Cogent and Dargent approach to facilitating verified software development (Keynote) ACM SIGPLAN
29:56 [ICFP'23] Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verifica... ACM SIGPLAN
27:43 [ICFP'23] Etna: An Evaluation Platform for Property-Based Testing (Experience Report) ACM SIGPLAN
29:55 [ICFP'23] Verifying Reliable Network Components in a Distributed Separation Logic with Dep... ACM SIGPLAN
25:08 [ICFP'23] A well-known representation of monoids and its application to the function ‘vect... ACM SIGPLAN
28:50 [ICFP'23] Modal FRP for all: Functional reactive programming without space leaks in Haskel... ACM SIGPLAN
29:41 [ICFP'23] Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Dat... ACM SIGPLAN
29:43 [ICFP'23] The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmi... ACM SIGPLAN
36:18 [ICFP'23] Flexible Instruction-Set Semantics via Abstract Monads (Experience Report) ACM SIGPLAN
29:12 [ICFP'23] What Happens When Students Switch (Functional) Languages (Experience Report) ACM SIGPLAN
27:50 [ICFP'23] Dependent Session Protocols in Separation Logic from First Principles (Functiona... ACM SIGPLAN
32:11 [ICFP'23] Bit-Stealing Made Legal: Compilation for Custom Memory Representations of Algebr... ACM SIGPLAN
