Media Summary: Xuanrui Qi (Nagoya University) and Jacques Garrigue (Nagoya University) ... Matthieu Sozeau (INRIA) and Enrico Tassi (INRIA) ... Presenter: Talia Ringer Presented at CPP'20, colocated with
Xuanrui Qi (Nagoya University) and Jacques Garrigue (Nagoya University) ... Matthieu Sozeau (INRIA) and Enrico Tassi (INRIA) ... Presenter: Talia Ringer Presented at CPP'20, colocated with
![[Tutorial Fest @ POPL'23] QuickChick: Combining Random Testing and Verification in Coq](https://i.ytimg.com/vi/7Fsv_dSoCy0/mqdefault.jpg)
[TutFest'
![[POPL 2021] CoqPL: Towards a Coq Specification for Generalized Algebraic Datatypes in OCaml](https://i.ytimg.com/vi/OaNGJAdw5M8/mqdefault.jpg)
Xuanrui Qi (Nagoya University) and Jacques Garrigue (Nagoya University) ...
Tutorial Charleston & Cowtail #shuffledance #dance #activelifestyle #fitness
![[POPL 2021] CoqPL: Session with the Coq Development Team](https://i.ytimg.com/vi/RLRNetkpExY/mqdefault.jpg)
Matthieu Sozeau (INRIA) and Enrico Tassi (INRIA) ...
shorts https://www.twitch.tv/bigfuzzyyak.
Presenter: Talia Ringer Presented at CPP'20, colocated with
basic tutting(hand moves) tutorial #anybodycandance
https://barrecrashers.substack.com/p/how-to-pas-de-chat?utm_source=youtube.
Easy dance move for a party #5 💃🏻 #dancetutorial
shuffle #footwork #shuffledance #cuttingshapes #shufflestyle #
Popping dance
Popping
![[POPL'25] Kick the Can - WITS (25th Jan)](https://i.ytimg.com/vi/HT8nLo6DTao/mqdefault.jpg)
Full program: https://popl25.sigplan.org/program/program-