Signin

Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types

ACM SIGPLAN • September 25, 2020
Video Thumbnail

You May Also Like

ACM SIGPLAN

View Channel

About

No channel description available.

Latest Posts

Video Thumbnail

Ask Me Anything with Bjarne Stroustrup, hosted by John Regehr

ACM SIGPLAN

Video Thumbnail

[FUNARCH'23] Functional Programming in the Large - Status and Perspective

ACM SIGPLAN

Video Thumbnail

Probabilistic Programming

ACM SIGPLAN

Video Thumbnail

[ICFP'22] Fireside Chat with Arvind and Guy Steele

ACM SIGPLAN

AI Assistant

Loading...