Come to virtual ICFP---It’ll be exciting, just like before!
Register now: https://icfp20.sigplan.org/attending/...


Vocalists (in order of appearance):
Ronald Garcia
Nadia Polikarpova
Benjamin C. Pierce
John Leo
Youyou Cong
Zena Ariola
Philip Wadler
Jonathan Immanuel Brachthäuser
Jeremy Gibbons
Yishuai Li


Drums: Michael Hicks
Bass: Jeremy Gibbons
Piano: Youyou Cong
Violin: Hannah Leung and Youyou Cong
Viola: Iris Yuping Ren
Flute: Stephanie Weirich
Clarinet: Jesper Cockx
Alto saxophone: Yishuai Li


Lyrics: Youyou Cong and Jesper Cockx,
with Aalok Thakkar, Jeremy Gibbons, and Benjamin C. Pierce


Music: "Don't Stop" by Christine McVie,
with Wayne Carson, Johnny Christopher, Mark James,
John Leo, and Youyou Cong


Orchestration:
John Leo


Audio and video editing:
José Manuel Calderón Trilla