2022 Archives by date

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

Starting: Sun Jan 2 15:19:40 EST 2022
Ending: Wed Dec 21 15:49:51 EST 2022
Messages: 93

• [TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"   Jon Sterling
• [TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"   Clément Aubert
• [TYPES] Request: Papers to understand Nordic logic talk   Julin S
• [TYPES] Request: Papers to understand Nordic logic talk   Rishiyur Nikhil
• [TYPES] Consistency of NF   Jamie
• [TYPES] ETAPS bars Russian researchers from attending   Neel Krishnaswami
• [TYPES] ETAPS bars Russian researchers from attending   Talia Ringer
• [TYPES] ETAPS bars Russian researchers from attending   Donaldson, Alastair F
• [TYPES] ETAPS bars Russian researchers from attending   Ralf Jung
• [TYPES] ETAPS bars Russian researchers from attending   Jon Sterling
• [TYPES] ETAPS bars Russian researchers from attending   Sergey Goncharov
• [TYPES] ETAPS bars Russian researchers from attending   Gabriel Scherer
• [TYPES] R: ETAPS bars Russian researchers from attending   Marino Miculan
• [TYPES] ETAPS bars Russian researchers from attending   Ricardo Medel
• [TYPES] Types-list Digest, Vol 140, Issue 1   Ana Sokolova
• [TYPES] R: ETAPS bars Russian researchers from attending   Julin S
• [TYPES] R: ETAPS bars Russian researchers from attending   Alejandro Díaz-Caro
• [TYPES] R: ETAPS bars Russian researchers from attending   Sergiy Bogomolov
• [TYPES] ETAPS bars Russian researchers from attending   Philip Wadler
• [TYPES] ETAPS bars Russian researchers from attending   Gabriel Scherer
• [TYPES] R: ETAPS bars Russian researchers from attending   Sergiy Bogomolov
• [TYPES] R: ETAPS bars Russian researchers from attending   Julia Belyakova
• [TYPES] ETAPS bars Russian researchers from attending   Gabriel Scherer
• [TYPES] ETAPS bars Russian researchers from attending   Talia Ringer
• [TYPES] R: ETAPS bars Russian researchers from attending   Max New
• [TYPES] ETAPS bars Russian researchers from attending   Jonathan Aldrich
• [TYPES] R: ETAPS bars Russian researchers from attending   Julia Belyakova
• [TYPES] R: ETAPS bars Russian researchers from attending   Fritz Henglein
• [TYPES] ETAPS bars Russian researchers from attending   Jon Sterling
• [TYPES] R: ETAPS bars Russian researchers from attending   Sergiy Bogomolov
• [TYPES] R: ETAPS bars Russian researchers from attending   Martin Lester
• [TYPES] R: ETAPS bars Russian researchers from attending   Nicolai Kraus
• [TYPES] R: ETAPS bars Russian researchers from attending   Xuanrui Qi
• [TYPES] R: ETAPS bars Russian researchers from attending   Alex Potanin
• [TYPES] R: ETAPS bars Russian researchers from attending   Apostolos Syropoulos
• [TYPES] R: ETAPS bars Russian researchers from attending   Talia Ringer
• [TYPES] R: ETAPS bars Russian researchers from attending   Xuanrui Qi
• [TYPES] R: ETAPS bars Russian researchers from attending   Ross Horne
• [TYPES] ETAPS bars Russian researchers from attending   Gabriel Scherer
• [TYPES] Annotating an AST with (existential) types, with ordered contexts - à la Dunfield Krishnaswami   Vanessa McHale
• [TYPES] Mendler's paper - Recursive Types and Type Constraints in Second-Order Lambda Calculus   Aaron Gray
• [TYPES] "Type systems for programs respecting dimensions" Re: Types for Units-of-Measure   Rodney Brown
• [TYPES] [meta] URL rewriting notice   Gabriel Scherer
• [TYPES] [meta] URL rewriting notice   Ralf Jung
• [TYPES] [meta] URL rewriting notice   Richard Eisenberg
• [TYPES] [meta] URL rewriting notice   Gabriel Scherer
• [TYPES] Writing syntactic models with "full information"   Stefan Monnier
• [TYPES] Writing syntactic models with "full information"   Craig McLaughlin
• [TYPES] Writing syntactic models with "full information"   Jonathan Chan
• [TYPES] Writing syntactic models with "full information"   Andreas Nuyts
• [TYPES] Writing syntactic models with "full information"   Stefan Monnier
• [TYPES] Writing syntactic models with "full information"   Andreas Nuyts
• [TYPES] Writing syntactic models with "full information"   Ambrus Kaposi
• [TYPES] Writing syntactic models with "full information"   Jason Hu
• [TYPES] Writing syntactic models with "full information"   Jon Sterling
• [TYPES] Writing syntactic models with "full information"   Jason Hu
• [TYPES] Writing syntactic models with "full information"   Paul Blain Levy
• [TYPES] A Paper: "Type System as Homomorphism between Monoids"   xieyuheng
• [TYPES] A new dependently typed language: Cicada Language   xieyuheng
• [TYPES] What is the term after reduction called?   Fangyi Zhou
• [TYPES] What is the term after reduction called?   Hendrik Boom
• [TYPES] What is the term after reduction called?   J. R. Hindley
• [TYPES] What is the term after reduction called?   William J. Bowman
• [TYPES] What is the term after reduction called?   Fritz Henglein
• [TYPES] What is the term after reduction called?   Jon Sterling
• [TYPES] subtyping of mutually recursive algebraic data types   Aaron Gray
• [TYPES] subtyping of mutually recursive algebraic data types   Mark Sheldon
• [TYPES] subtyping of mutually recursive algebraic data types   Frank Pfenning
• [TYPES] subtyping of mutually recursive algebraic data types   Giuseppe Castagna
• [TYPES] subtyping of mutually recursive algebraic data types   Roberto Di Cosmo
• [TYPES] subtyping of mutually recursive algebraic data types   Aaron Gray
• [TYPES] subtyping of mutually recursive algebraic data types   Mark Sheldon
• [TYPES] subtyping of mutually recursive algebraic data types   Aaron Gray
• [TYPES] Semantics of modes in logic programming?   Neel Krishnaswami
• [TYPES] subtyping of mutually recursive algebraic data types   Aaron Gray
• [TYPES] subtyping of mutually recursive algebraic data types   Aaron Gray
• [TYPES] reference request: MLTT with Russell's non-cumulative universes   Jason Hu
• [TYPES] reference request: MLTT with Russell's non-cumulative universes   Sandro Stucki
• [TYPES] reference request: MLTT with Russell's non-cumulative universes   Jason Hu
• [TYPES] reference request: MLTT with Russell's non-cumulative universes   Meven LENNON-BERTRAND
• [TYPES] Type theory of file formats   Jimmy Koppel
• [TYPES] Type theory of file formats   Jimmy Koppel
• [TYPES] Type theory of file formats   Kalani Thielen
• [TYPES] Type theory of file formats   Jimmy Koppel
• [TYPES] Type theory of file formats   Kalani Thielen
• [TYPES] Type theory of file formats   Jimmy Koppel
• [TYPES] Martin-Löf transcriptions   Ansten Mørch Klev
• [TYPES] TaPL Course?   Robert Rand
• [TYPES] TaPL Course?   Alejandro Díaz-Caro
• [TYPES] TaPL Course?   Andreas Nuyts
• [TYPES] TaPL Course?   Frank Pfenning
• [TYPES] TaPL Course?   Spertus, Mike
• [TYPES] Looking for the Source Code for the Book Object-Oriented Type Systems.   Aaron Gray

Last message date: Wed Dec 21 15:49:51 EST 2022
Archived on: Tue Dec 27 15:34:49 EST 2022

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