2022 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• 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] R: ETAPS bars Russian researchers from attending   Marino Miculan
      • [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] R: ETAPS bars Russian researchers from attending   Sergiy Bogomolov
      • [TYPES] R: ETAPS bars Russian researchers from attending   Max New
      • [TYPES] R: ETAPS bars Russian researchers from attending   Julia Belyakova
      • [TYPES] R: ETAPS bars Russian researchers from attending   Xuanrui Qi
      • [TYPES] R: ETAPS bars Russian researchers from attending   Apostolos Syropoulos
      • [TYPES] R: ETAPS bars Russian researchers from attending   Xuanrui Qi
      • [TYPES] R: ETAPS bars Russian researchers from attending   Ross Horne
      • [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   Martin Lester
      • [TYPES] R: ETAPS bars Russian researchers from attending   Sergiy Bogomolov
      • [TYPES] R: ETAPS bars Russian researchers from attending   Nicolai Kraus
      • [TYPES] R: ETAPS bars Russian researchers from attending   Alex Potanin
      • [TYPES] R: ETAPS bars Russian researchers from attending   Talia Ringer
      • [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   Ricardo Medel
      • [TYPES] ETAPS bars Russian researchers from attending   Philip Wadler
      • [TYPES] ETAPS bars Russian researchers from attending   Gabriel Scherer
      • [TYPES] ETAPS bars Russian researchers from attending   Talia Ringer
  • [TYPES] ETAPS bars Russian researchers from attending   Gabriel Scherer
  • [TYPES] ETAPS bars Russian researchers from attending   Jonathan Aldrich
  • [TYPES] ETAPS bars Russian researchers from attending   Gabriel Scherer
• [TYPES] Types-list Digest, Vol 140, Issue 1   Ana Sokolova
• [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?   Jon Sterling
      • [TYPES] Semantics of modes in logic programming?   Neel Krishnaswami
  • [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] 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] subtyping of mutually recursive algebraic data types   Mark Sheldon
      • [TYPES] subtyping of mutually recursive algebraic data types   Aaron Gray
  • [TYPES] subtyping of mutually recursive algebraic data types   Frank Pfenning
    • [TYPES] subtyping of mutually recursive algebraic data types   Aaron Gray
  • [TYPES] subtyping of mutually recursive algebraic data types   Giuseppe Castagna
    • [TYPES] subtyping of mutually recursive algebraic data types   Aaron Gray
  • [TYPES] subtyping of mutually recursive algebraic data types   Roberto Di Cosmo
• [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: [ subject ] [ author ] [ date ]
• More info on this list...