2026 Archives by thread

• Messages sorted by: [ subject ] [ 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] AI-generated conference submissions   Stephanie Balzer
  • [TYPES] AI-generated conference submissions   Jonathan Aldrich
    • [TYPES] AI-generated conference submissions   Jonathan Aldrich
      • [TYPES] AI-generated conference submissions   Anitha Gollamudi
      • [TYPES] AI-generated conference submissions   Alcides Fonseca
      • [TYPES] AI-generated conference submissions   Jonathan Aldrich
      • [TYPES] AI-generated conference submissions   Neel Krishnaswami
      • [TYPES] AI-generated conference submissions   Alcides Fonseca
      • [TYPES] AI-generated conference submissions   Ralf Jung
      • [TYPES] AI-generated conference submissions   Stephanie Balzer
  • [TYPES] AI-generated conference submissions   Mae Milano
    • [TYPES] AI-generated conference submissions   Jon Sterling
      • [TYPES] AI-generated conference submissions   Mae Milano
      • [TYPES] AI-generated conference submissions   Jon Sterling
      • [TYPES] AI-generated conference submissions   Mae Milano
      • [TYPES] AI-generated conference submissions   vladi Sassone
      • [TYPES] AI-generated conference submissions   Martin Lester
      • [TYPES] AI-generated conference submissions   Michael Shulman
      • [TYPES] AI-generated conference submissions   Hendrik Boom
      • [TYPES] AI-generated conference submissions   Gavin Mendel-Gleason
      • [TYPES] AI-generated conference submissions   Michael Shulman
      • [TYPES] AI-generated conference submissions   Hendrik Boom
    • [TYPES] AI-generated conference submissions   Klaus Ostermann
      • [TYPES] AI-generated conference submissions   Théo Winterhalter
      • [TYPES] AI-generated conference submissions   Jeremy Gibbons
      • [TYPES] AI-generated conference submissions   Michael Sperber
  • [TYPES] AI-generated conference submissions   mukesh tiwari
  • [TYPES] AI-generated conference submissions   Gergely Buday
• [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] 1995 paper now archived, appears to anticipate graded typing, here's the note   David
• [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: [ subject ] [ author ] [ date ]
• More info on this list...