2020 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Thu Jan 23 20:10:48 EST 2020
Ending: Fri Nov 13 09:15:17 EST 2020
Messages: 11

• [Pl-seminar] 1/28 Seminar: Damiano Mazza: "Automatic Differentiation in PCF"   Nathaniel Yazdani
• [Pl-seminar] 1/28 Seminar: Damiano Mazza: "Automatic Differentiation in PCF"   Nathaniel Yazdani
• [Pl-seminar] 2/17 Seminar: Darius Blasband: "Grow your own language: The YAFL story"   Nathaniel Yazdani
• [Pl-seminar] 2/17 Seminar: Darius Blasband: "Grow your own language: The YAFL story"   Nathaniel Arfaa Yazdani
• [Pl-seminar] Seminar Tomorrow 6/15: Aurèle Barriere: "Proving Just in Time Compilation Correct"   Amal Ahmed
• [Pl-seminar] Schedule PRL Seminar talk   Artem Pelenitsyn
• [Pl-seminar] PRL seminar: Stephanie Balzer (CMU) on Nov 13, noon   Artem Pelenitsyn
• [Pl-seminar] [PL seminar] Stephanie Balzer (CMU) on Nov 13, noon: details   Artem Pelenitsyn
• [Pl-seminar] [PL seminar] Stephanie Balzer (CMU) on Nov 13, noon: details   Artem Pelenitsyn
• [Pl-seminar] [PL seminar] Stephanie Balzer (CMU) on Nov 13, noon: details   Artem Pelenitsyn
• [Pl-seminar] [PL seminar] Stephanie Balzer (CMU) on Nov 13, noon: details   Artem Pelenitsyn

Last message date: Fri Nov 13 09:15:17 EST 2020
Archived on: Fri Nov 13 09:15:32 EST 2020

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...