Agda Courses
Hausdorff Center for Mathematics via YouTube The Intellectual Ascent to Agda
CppNow via YouTube Programming Languages in Agda - Propositions as Types
GOTO Conferences via YouTube Vehicle - A Specification Language for Neural Network Properties
ACM SIGPLAN via YouTube Graded Modal Dependent Type Theory with Universe and Erasure - Formalized
ACM SIGPLAN via YouTube Timely Computation - A Formal Approach to Digital Circuit Design
ACM SIGPLAN via YouTube How to Trust a Verified Program - Challenges and Solutions in Program Verification
ACM SIGPLAN via YouTube An Intrinsically Typed Compiler for Algebraic Effect Handlers
ACM SIGPLAN via YouTube Efficient CHAD - Optimizing Combinatory Homomorphic Automatic Differentiation
ACM SIGPLAN via YouTube Towards Tagless Interpretation of Stratified System F
ACM SIGPLAN via YouTube