Media Summary: A Completely Unique Account of Enumeration (Video, Deep Programmability: A New Lens on Networking (Keynote, Fusing Industry and Academia at GitHub (Experience Report) (Video,
A Completely Unique Account of Enumeration (Video, Deep Programmability: A New Lens on Networking (Keynote, Fusing Industry and Academia at GitHub (Experience Report) (Video, Staged Compilation with Two-Level Type Theory (Video,
![[ICFP'22] Datatype-Generic Programming Meets Elaborator Reflection](https://i.ytimg.com/vi/daJdoJGpsns/mqdefault.jpg)
Datatype
![[ICFP'22] Practical Generic Programming over a Universe of Native Datatypes](https://i.ytimg.com/vi/ZdKcqPWO3gk/mqdefault.jpg)
Practical
![[ICFP'22] A Completely Unique Account of Enumeration](https://i.ytimg.com/vi/xOvBBQthm9s/mqdefault.jpg)
A Completely Unique Account of Enumeration (Video,
![[ICFP'23] Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Dat...](https://i.ytimg.com/vi/ZAUBtISINj0/mqdefault.jpg)
Generic Programming
![[TyDe'22] Syntax-Generic Operations, Reflectively Reified (Extended Abstract)](https://i.ytimg.com/vi/RGtPYuAiYfA/mqdefault.jpg)
Syntax-
Workshop on
![[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness](https://i.ytimg.com/vi/c8VZp-3eQU0/mqdefault.jpg)
Linearly Qualified Types:
![[ICFP'22] Deep Programmability: A New Lens on Networking](https://i.ytimg.com/vi/-zlYVrRxPUE/mqdefault.jpg)
Deep Programmability: A New Lens on Networking (Keynote,
ICFP
![[ICFP'22] Fusing Industry and Academia at GitHub (Experience Report)](https://i.ytimg.com/vi/El6gBupbJOc/mqdefault.jpg)
Fusing Industry and Academia at GitHub (Experience Report) (Video,
![[ICFP'22] Staged Compilation with Two-Level Type Theory](https://i.ytimg.com/vi/0BOQE48_qOM/mqdefault.jpg)
Staged Compilation with Two-Level Type Theory (Video,
Yufei Cai.
Is on