2024 Archives by author

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

Starting: Fri Jan 26 17:18:52 EST 2024
Ending: Tue Aug 13 09:59:04 EDT 2024
Messages: 19

• [TYPES] a naive question on datatype declarations   Jonathan Aldrich
• [TYPES] a naive question on datatype declarations   Gershom B
• [TYPES] a naive question on datatype declarations   Gershom B
• [TYPES] a naive question on datatype declarations   Richard Eisenberg
• [TYPES] Alan Jeffrey   Jeremy Gibbons
• [TYPES] Unit types and Dependent Type Theory   Aaron Gray
• [TYPES] Giving semantics to universes with explicit universe polymorphism   Jason Hu
• [TYPES] Undergraduate internships in PL?   Anders Miltner
• [TYPES] Printed copies of HOPL III and IV   Artem Pelenitsyn
• [TYPES] a naive question on datatype declarations   Andreas Rossberg
• [TYPES] Bibliography of Cyclic and Non-well-founded Proof Theory   Reuben Rowe
• [TYPES] a naive question on datatype declarations   Jon Sterling
• [TYPES] a naive question on datatype declarations   Jon Sterling
• [TYPES] a naive question on datatype declarations   Jon Sterling
• [TYPES] a naive question on datatype declarations   Sandro Stucki
• [TYPES] a naive question on datatype declarations   Kalani Thielen
• [TYPES] a naive question on datatype declarations   Rebecca Valentine
• [TYPES] Undergraduate internships in PL?   Joey Velez-Ginorio
• [TYPES] Undergraduate internships in PL?   xhuang

Last message date: Tue Aug 13 09:59:04 EDT 2024
Archived on: Tue Aug 13 10:33:47 EDT 2024

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