[ 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

Reply via email to