2026 Archives by author

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

Starting: Mon Mar 16 16:03:00 EDT 2026
Ending: Thu Jun 18 06:37:27 EDT 2026
Messages: 31

• [TYPES] AI-generated conference submissions   Jonathan Aldrich
• [TYPES] AI-generated conference submissions   Jonathan Aldrich
• [TYPES] AI-generated conference submissions   Jonathan Aldrich
• [TYPES] AI-generated conference submissions   Stephanie Balzer
• [TYPES] AI-generated conference submissions   Stephanie Balzer
• [TYPES] AI-generated conference submissions   Hendrik Boom
• [TYPES] AI-generated conference submissions   Hendrik Boom
• [TYPES] AI-generated conference submissions   Gergely Buday
• [TYPES] 1995 paper now archived, appears to anticipate graded typing, here's the note   David
• [TYPES] AI-generated conference submissions   Alcides Fonseca
• [TYPES] AI-generated conference submissions   Alcides Fonseca
• [TYPES] AI-generated conference submissions   Jeremy Gibbons
• [TYPES] AI-generated conference submissions   Anitha Gollamudi
• [TYPES] AI-generated conference submissions   Ralf Jung
• [TYPES] AI-generated conference submissions   Neel Krishnaswami
• [TYPES] Admissibility of conversion rule for typed definitional equality   Meven Lennon-Bertrand
• [TYPES] AI-generated conference submissions   Martin Lester
• [TYPES] AI-generated conference submissions   Gavin Mendel-Gleason
• [TYPES] AI-generated conference submissions   Mae Milano
• [TYPES] AI-generated conference submissions   Mae Milano
• [TYPES] AI-generated conference submissions   Mae Milano
• [TYPES] Admissibility of conversion rule for typed definitional equality   Wassim Ait Moussa
• [TYPES] AI-generated conference submissions   Klaus Ostermann
• [TYPES] AI-generated conference submissions   vladi Sassone
• [TYPES] AI-generated conference submissions   Michael Shulman
• [TYPES] AI-generated conference submissions   Michael Shulman
• [TYPES] AI-generated conference submissions   Michael Sperber
• [TYPES] AI-generated conference submissions   Jon Sterling
• [TYPES] AI-generated conference submissions   Jon Sterling
• [TYPES] AI-generated conference submissions   Théo Winterhalter
• [TYPES] AI-generated conference submissions   mukesh tiwari

Last message date: Thu Jun 18 06:37:27 EDT 2026
Archived on: Thu Jun 18 11:57:00 EDT 2026

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