2022 Archives by subject

Messages sorted by: [ thread ] [ 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] "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] A new dependently typed language: Cicada Language xieyuheng
[TYPES] Annotating an AST with (existential) types, with ordered contexts - à la Dunfield Krishnaswami Vanessa McHale
[TYPES] A Paper: "Type System as Homomorphism between Monoids" xieyuheng
[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] 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 Gabriel Scherer
[TYPES] ETAPS bars Russian researchers from attending Talia Ringer
[TYPES] ETAPS bars Russian researchers from attending Jonathan Aldrich
[TYPES] ETAPS bars Russian researchers from attending Jon Sterling
[TYPES] ETAPS bars Russian researchers from attending Gabriel Scherer
[TYPES] Looking for the Source Code for the Book Object-Oriented Type Systems. Aaron Gray
[TYPES] Martin-Löf transcriptions Ansten Mørch Klev
[TYPES] Mendler's paper - Recursive Types and Type Constraints in Second-Order Lambda Calculus Aaron Gray
[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 Julia Belyakova
[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 Fritz Henglein
[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] 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] Request: Papers to understand Nordic logic talk Julin S
[TYPES] Request: Papers to understand Nordic logic talk Rishiyur Nikhil
[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 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] subtyping of mutually recursive algebraic data types Aaron Gray
[TYPES] subtyping of mutually recursive algebraic data types Aaron Gray
[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] Types-list Digest, Vol 140, Issue 1 Ana Sokolova
[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] 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] 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] 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

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 ] [ author ] [ date ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).