March 2025 Archives by date

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

Starting: Fri Mar 7 14:06:19 GMT 2025
Ending: Wed Mar 19 09:32:55 GMT 2025
Messages: 3

• [msp-interest] [MSP101] Zanzi Mihejevs: A canonical bidirectional typing discipline through polarised System L (LT412, 3pm Mon 10-Mar)   Dilsat Yuksel
• [msp-interest] [MSP101] Ross Horne: Additives without Weakening (LT412, 3pm Mon 17-Mar)   Dilsat Yuksel
• [msp-interest] [MSP101] Petar Veličković: Generalisation in LLMs (LT210, 4pm TODAY 19/3)   Fredrik Nordvall Forsberg

Last message date: Wed Mar 19 09:32:55 GMT 2025
Archived on: Wed Mar 19 09:33:58 GMT 2025

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