27:25

[FARM'23] Weighted Refinement Types for Counterpoint Composition

ACM SIGPLAN

30:32

[FARM'23] The Beauty and Elegance of Functional Reactive Animation

ACM SIGPLAN

21:12

[FARM'23] Demo: A functional EDSL for mathematics visualization that compiles to JavaScrip...

ACM SIGPLAN

28:00

[FARM'23] Exploring Self-Embedded Knitting Programs with Twine

ACM SIGPLAN

26:41

[FARM'23] Homotopy Type Theory for Sewn Quilts

ACM SIGPLAN

28:40

[FARM'23] Demo: Sonic Catalog of Rare Diseases

ACM SIGPLAN

15:18

[FARM'23] Humanity: From Survival to Revival

ACM SIGPLAN

54:17

[FARM'23] Keynote: Perfectly Imperfect: Music, Math and the Keyboard

ACM SIGPLAN

15:54

[FARM'23] As music overheard, as image made light.

ACM SIGPLAN

19:58

[FARM'23] Accelerometers as an Instrument

ACM SIGPLAN

27:45

[FARM'23] Aurora: Goddess of Dawn

ACM SIGPLAN