[icfp'22] practical generic programming over a universe of native datatypes
Published 2 years ago • 275 plays • Length 15:36Download video MP4
Download video MP3
Similar videos
-
![[icfp'22] datatype-generic programming meets elaborator reflection](https://i.ytimg.com/vi/daJdoJGpsns/mqdefault.jpg)
15:48
[icfp'22] datatype-generic programming meets elaborator reflection
-
![[icfp'23] generic programming with extensible data types: or, making ad hoc extensible dat...](https://i.ytimg.com/vi/ZAUBtISINj0/mqdefault.jpg)
29:41
[icfp'23] generic programming with extensible data types: or, making ad hoc extensible dat...
-
![[icfp'22] structural versus pipeline composition of… (experience report)](https://i.ytimg.com/vi/GsWNrO9dJ4A/mqdefault.jpg)
14:07
[icfp'22] structural versus pipeline composition of… (experience report)
-
![[icfp'22] a completely unique account of enumeration](https://i.ytimg.com/vi/xOvBBQthm9s/mqdefault.jpg)
12:34
[icfp'22] a completely unique account of enumeration
-
52:02
virtual meeting july 14, 2020 - an overview of shainin methods
-
29:55
dra in kubevirt: overcoming challenges & implementing changes - varun ramachandra sekar, alay patel
-
18:37
eliminating run-time errors with agda - computerphile