2026 Archives by subject

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

Starting: Mon Mar 16 16:03:00 EDT 2026
Ending: Sun Jul 5 07:53:16 EDT 2026
Messages: 36

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

Last message date: Sun Jul 5 07:53:16 EDT 2026
Archived on: Sun Jul 5 17:15:13 EDT 2026

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