[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Cyrus Omar [2021-06-06 21:28:18] wrote: > On Wed, Aug 26, 2020 at 2:02 AM Stefan Monnier <monn...@iro.umontreal.ca> > wrote: [ Going through old mail, eh? ] >> BTW, while watching ICFP, somewhat pleased with Clowdr [ for >> a first run of the software, I'm really pleased ] but annoyed at >> some aspects [ besides the need to run proprietary code for Zoom ] such >> as the fact that I can't find a recording of the TyDe talks I missed... > FYI, the TyDe talk videos are posted on the SIGPLAN Youtube channel under > the following playlist (linked from the TyDe webpage): > https://www.youtube.com/watch?v=pA0wOOcf5rM&list=PLyrlk8Xaylp63TV8z8yZb79BNzFse9wVO Oh, excellent, thanks. > (TyDe extended abstracts are not archival, so we can't make the > corresponding talks available via the ACM DL) That makes sense, indeed, Stefan