Youyou Cong
533 posts

Youyou Cong
@yuyuchazuke
Assistant Professor @sciencetokyo_en. I enjoy capturing continuations and composing well-typed music.
Tokyo Katılım Şubat 2013
252 Takip Edilen615 Takipçiler

@ShriramKMurthi @wilbowma Yes. Presupposition (e.g. "X knows that P" presupposes P) is another use case of dependent types.
English

@yuyuchazuke @wilbowma Is this for anaphora?
English

I love it. Someone make this happen if you haven't already.
Zanzi Tangle, now at Monoidal Cafe@tangled_zans
Blursed PL idea: type-level callcc
English

Had an effectful week with @shonanmtg #203 participants. Thank you all, and I look forward to resuming the discussion!

English
Youyou Cong retweetledi

Hey, PL folks! Are you coming to @splashcon? Are you there on Monday? If so, you should come mentor at PLMW! There will be a mentoring session at 4:30pm on Monday, and if you want to come hang out with the PLMW mentees, you can sign up here: forms.gle/ZG8zkdqwDDcrg5…
English


TyDe 2023 will consist of 12 exciting talks and a keynote by @jer_gib! Register by August 5 for reduced rates.
Website: icfp23.sigplan.org/home/tyde-2023
Registration: cvent.me/KLBGRr
English

We also have a playlist of videos in which past PLMW participants share their experience at the workshop!
2023.splashcon.org/track/splash-2…
Programming Languages Mentoring Workshop@PLMentoring
July 24 is coming up, apply/tell your students if you haven't already!
English
Youyou Cong retweetledi

We have extended the deadlines for abstract and paper submission!
Abstract submission: July 10th
Paper submission: July 14th
Conference website: 2023.splashcon.org/home/gpce-2023
English
Youyou Cong retweetledi

Oh, what's this? The application for PLMW@SPLASH? Yes, yes it is! Students, apply by July 24 for full consideration and come PL with us in Portugal!
forms.gle/VpqR8dJpEdR12p…
GIF
English
Youyou Cong retweetledi

GPCE submission deadline is approaching! Register your abstract by July 3 and submit your paper by July 7.
2023.splashcon.org/home/gpce-2023
English

One week until the TyDe submission deadline! We look forward to learning about your latest work on types.
icfp23.sigplan.org/home/tyde-2023
English
Youyou Cong retweetledi

Last call for papers, demos, and performances for #WorkshopFARM2023 - deadline is June 1! #WorkshopFARM2023 will once again be co-located with ICFP, and happen on Sep 8 in Seattle! functional-art.org/2023/cfp.html

English

TyDe 2023 is happening in September as a co-located event of @icfp_conference. Submit your well-typed paper by June 1!
icfp23.sigplan.org/home/tyde-2023
English
Youyou Cong retweetledi

We are delighted to announce GPCE 2023, co-located with @splashcon. Submit your cool work on generative programming and related topics. For details, visit 2023.splashcon.org/home/gpce-2023.
English

@yuyuchazuke Congratulations 🎉 (fail to come up with a reply with TT as capitals)
English

@skymountain_ ありがとうございます!研究室の名前はまだ相談中ですが、たとえば「プログラミング研究室」が候補として挙がっています。
日本語





