20:48[CPP'23] Compositional pre-processing for automated reasoning in dependent type theoryACM SIGPLAN76 viewsView & Download
21:33[CPP'23] Encoding Dependently-Typed Constructions into Simple Type TheoryACM SIGPLAN153 viewsView & Download
17:20Graded Modal Dependent Type Theory (ESOP 2021)Lectures by Prof. Eades at AU643 viewsView & Download
26:4909 Programming with Monadic CSP Style Processes in Dependent Type TheoryICFP Video304 viewsView & Download
5:04Easy introduction to gaussian process regression (uncertainty models)paretos116.1K viewsView & Download
1:03:05How To Build Robust C++ Inter-Process Queues - Jody Hagins - CppCon 2025CppCon13.2K viewsView & Download
![[CPP'23] Compositional pre-processing for automated reasoning in dependent type theory — ACM SIGPLAN — cpp23 compositional pre processing for automated reasoning in dependent type theory YouTube to MP3 & MP4 download on TubeGalore](/api/image/sImfouZbzf8/mqdefault)
![[CPP'23] Encoding Dependently-Typed Constructions into Simple Type Theory — ACM SIGPLAN — cpp23 compositional pre processing for automated reasoning in dependent type theory YouTube to MP3 & MP4 download on TubeGalore](/api/image/fU8Z-3FI2jg/mqdefault)
