types-list
Thread
Date
Earlier messages
Messages by Thread
[TYPES] Printed copies of HOPL III and IV
Artem Pelenitsyn
[TYPES] Undergraduate internships in PL?
Joey Velez-Ginorio
Re: [TYPES] Undergraduate internships in PL?
xhuang
Re: [TYPES] Undergraduate internships in PL?
Anders Miltner
[TYPES] Unit types and Dependent Type Theory
Aaron Gray
[TYPES] Giving semantics to universes with explicit universe polymorphism
Jason Hu
[TYPES] Alan Jeffrey
Jeremy Gibbons
[TYPES] Bibliography of Cyclic and Non-well-founded Proof Theory
Reuben Rowe
[TYPES] a naive question on datatype declarations
Gershom B
Re: [TYPES] a naive question on datatype declarations
Jon Sterling
Re: [TYPES] a naive question on datatype declarations
Jon Sterling
Re: [TYPES] a naive question on datatype declarations
Jon Sterling
Re: [TYPES] a naive question on datatype declarations
Andreas Rossberg
Re: [TYPES] a naive question on datatype declarations
Kalani Thielen
Re: [TYPES] a naive question on datatype declarations
Jonathan Aldrich
Re: [TYPES] a naive question on datatype declarations
Sandro Stucki
Re: [TYPES] a naive question on datatype declarations
Gershom B
Re: [TYPES] a naive question on datatype declarations
Richard Eisenberg
Re: [TYPES] a naive question on datatype declarations
Rebecca Valentine
[TYPES] Looking for C. P. Wadsworth's PhD thesis
Rémy Cerda
Re: [TYPES] Looking for C. P. Wadsworth's PhD thesis
Ohad Kammar
Re: [TYPES] Looking for C. P. Wadsworth's PhD thesis
Rémy Cerda
[TYPES] Why are ACM conference registrations so expensive now?
Neel Krishnaswami
Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Ingle, Apoorv N
Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Caleb Stanford
Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Fritz Henglein
Re: [TYPES] Why are ACM conference registrations so expensive now?
Gardner, Philippa A
Re: [TYPES] Why are ACM conference registrations so expensive now?
Jon Sterling
Re: [TYPES] Why are ACM conference registrations so expensive now?
Jonathan Aldrich
Re: [TYPES] Why are ACM conference registrations so expensive now?
Jules Jacobs
Re: [TYPES] Why are ACM conference registrations so expensive now?
Hugo Herbelin
Re: [TYPES] Why are ACM conference registrations so expensive now?
Derek Dreyer
Re: [TYPES] Why are ACM conference registrations so expensive now?
William J. Bowman
Re: [TYPES] Why are ACM conference registrations so expensive now?
Fabian Muehlboeck
Re: [TYPES] Why are ACM conference registrations so expensive now?
Martin Lester
Re: [TYPES] Why are ACM conference registrations so expensive now?
Eijiro Sumii
Re: [TYPES] Why are ACM conference registrations so expensive now?
Gabriel Scherer
Re: [TYPES] Why are ACM conference registrations so expensive now?
Adam Chlipala
Re: [TYPES] Why are ACM conference registrations so expensive now?
Guilherme Espada
Re: [TYPES] Why are ACM conference registrations so expensive now?
Adam Chlipala
Re: [TYPES] Why are ACM conference registrations so expensive now?
Stefan Monnier
Re: [TYPES] Why are ACM conference registrations so expensive now?
Guilherme Espada
Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Ingle, Apoorv N
Re: [TYPES] Why are ACM conference registrations so expensive now?
Neel Krishnaswami
Re: [TYPES] Why are ACM conference registrations so expensive now?
Stefan Monnier
Re: [TYPES] Why are ACM conference registrations so expensive now?
Sam Lindley
Re: [TYPES] [External] Re: Why are ACM conference registrations so expensive now?
Jeff Foster
Re: [TYPES] [External] Re: Why are ACM conference registrations so expensive now?
Peter Thiemann
[TYPES] chair of cybersecurity at the hardware/software interface
Radu Iosif
Re: [TYPES] Peter Aczel
amp12
[TYPES] Consistency of Quine’s New Foundations
Gabbay, Jamie
[TYPES] Equivalence invariance for MLTT (reference request)
andrej . bauer
Re: [TYPES] Equivalence invariance for MLTT (reference request)
Jon Sterling
Re: [TYPES] Equivalence invariance for MLTT (reference request)
andrej . bauer
Re: [TYPES] Equivalence invariance for MLTT (reference request)
andrej . bauer
[TYPES] Full abstraction of applicative contexts in call-by-value
Francesco Gavazzo
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Sergey Goncharov
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Francesco Gavazzo
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Luca
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Paul Levy
Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Francesco Gavazzo
[TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion
Gabriel Scherer
Re: [TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion
Gabriel Scherer
Re: [TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion
Gabriel Scherer
[TYPES] Looking for the Source Code for the Book Object-Oriented Type Systems.
Aaron Gray
[TYPES] TaPL Course?
Robert Rand
Re: [TYPES] TaPL Course?
Alejandro Díaz-Caro
Re: [TYPES] TaPL Course?
Andreas Nuyts
Re: [TYPES] TaPL Course?
Frank Pfenning
Re: [TYPES] TaPL Course?
Spertus, Mike
[TYPES] Martin-Löf transcriptions
Ansten Mørch Klev
[TYPES] Type theory of file formats
Jimmy Koppel
Re: [TYPES] Type theory of file formats
Jimmy Koppel
Re: [TYPES] Type theory of file formats
Kalani Thielen
Re: [TYPES] Type theory of file formats
Jimmy Koppel
Re: [TYPES] Type theory of file formats
Kalani Thielen
Re: [TYPES] Type theory of file formats
Jimmy Koppel
[TYPES] reference request: MLTT with Russell's non-cumulative universes
Jason Hu
Re: [TYPES] reference request: MLTT with Russell's non-cumulative universes
Sandro Stucki
Re: [TYPES] reference request: MLTT with Russell's non-cumulative universes
Jason Hu
Re: [TYPES] reference request: MLTT with Russell's non-cumulative universes
Meven LENNON-BERTRAND
[TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
Re: [TYPES] subtyping of mutually recursive algebraic data types
Mark Sheldon
Re: [TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
Re: [TYPES] subtyping of mutually recursive algebraic data types
Mark Sheldon
Re: [TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
Re: [TYPES] subtyping of mutually recursive algebraic data types
Frank Pfenning
Re: [TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
Re: [TYPES] subtyping of mutually recursive algebraic data types
Giuseppe Castagna
Re: [TYPES] subtyping of mutually recursive algebraic data types
Aaron Gray
Re: [TYPES] subtyping of mutually recursive algebraic data types
Roberto Di Cosmo
[TYPES] What is the term after reduction called?
Fangyi Zhou
Re: [TYPES] What is the term after reduction called?
J. R. Hindley
Re: [TYPES] What is the term after reduction called?
Fritz Henglein
Re: [TYPES] What is the term after reduction called?
Hendrik Boom
Re: [TYPES] What is the term after reduction called?
Jon Sterling
[TYPES] Semantics of modes in logic programming?
Neel Krishnaswami
[TYPES] A Paper: "Type System as Homomorphism between Monoids"
xieyuheng
[TYPES] A new dependently typed language: Cicada Language
xieyuheng
Re: [TYPES] Writing syntactic models with "full information"
Jonathan Chan
Re: [TYPES] Writing syntactic models with "full information"
Andreas Nuyts
Re: [TYPES] Writing syntactic models with "full information"
Andreas Nuyts
Re: [TYPES] Writing syntactic models with "full information"
Ambrus Kaposi
Re: [TYPES] Writing syntactic models with "full information"
Jason Hu
Re: [TYPES] Writing syntactic models with "full information"
Jason Hu
Re: [TYPES] Writing syntactic models with "full information"
Jon Sterling
Re: [TYPES] Writing syntactic models with "full information"
Craig McLaughlin
Re: [TYPES] Writing syntactic models with "full information"
Paul Blain Levy
Re: [TYPES] [meta] URL rewriting notice
Gabriel Scherer
Re: [TYPES] [meta] URL rewriting notice
Ralf Jung
Re: [TYPES] [meta] URL rewriting notice
Richard Eisenberg
Re: [TYPES] [meta] URL rewriting notice
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
Re: [TYPES] Types-list Digest, Vol 140, Issue 1
Ana Sokolova
[TYPES] ETAPS bars Russian researchers from attending
Neel Krishnaswami
Re: [TYPES] ETAPS bars Russian researchers from attending
Talia Ringer
Re: [TYPES] ETAPS bars Russian researchers from attending
Donaldson, Alastair F
Re: [TYPES] ETAPS bars Russian researchers from attending
Jon Sterling
Re: [TYPES] ETAPS bars Russian researchers from attending
Ralf Jung
Re: [TYPES] ETAPS bars Russian researchers from attending
Sergey Goncharov
[TYPES] R: ETAPS bars Russian researchers from attending
Marino Miculan
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Julin S
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Alejandro Díaz-Caro
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Sergiy Bogomolov
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Sergiy Bogomolov
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Max New
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Julia Belyakova
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Xuanrui Qi
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Apostolos Syropoulos
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Xuanrui Qi
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Ross Horne
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Fritz Henglein
Re: [TYPES] ETAPS bars Russian researchers from attending
Jon Sterling
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Martin Lester
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Sergiy Bogomolov
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Nicolai Kraus
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Talia Ringer
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Julia Belyakova
Re: [TYPES] ETAPS bars Russian researchers from attending
Gabriel Scherer
Re: [TYPES] ETAPS bars Russian researchers from attending
Ricardo Medel
Re: [TYPES] ETAPS bars Russian researchers from attending
Philip Wadler
Re: [TYPES] ETAPS bars Russian researchers from attending
Gabriel Scherer
Re: [TYPES] ETAPS bars Russian researchers from attending
Talia Ringer
Re: [TYPES] ETAPS bars Russian researchers from attending
Gabriel Scherer
Re: [TYPES] ETAPS bars Russian researchers from attending
Jonathan Aldrich
Re: [TYPES] ETAPS bars Russian researchers from attending
Gabriel Scherer
[TYPES] Consistency of NF
Jamie
[TYPES] Request: Papers to understand Nordic logic talk
Julin S
Re: [TYPES] Request: Papers to understand Nordic logic talk
Rishiyur Nikhil
[TYPES] Postdoctoral Research Assistant position at University of Edinburgh
Philip Wadler
[TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Aaron Gray
Re: [TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Clément Aubert
Re: [TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Jon Sterling
Re: [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] Wanted: Nancy McCracken's Ph.D Thesis - An Investigation of a Programming Language with a Polymorphic Type Structure
Aaron Gray
[TYPES] screencast series on the lambda cube
Uwe Nestmann
[TYPES] Congruence rules vs frames
Philip Wadler
Re: [TYPES] Congruence rules vs frames
Derek Dreyer
Re: [TYPES] Congruence rules vs frames
Gan Shen
Re: [TYPES] Congruence rules vs frames
Jules Jacobs
Re: [TYPES] Congruence rules vs frames
Derek Dreyer
Re: [TYPES] Congruence rules vs frames
Philip Wadler
Re: [TYPES] Congruence rules vs frames
Derek Dreyer
Re: [TYPES] Congruence rules vs frames
Jules Jacobs
[TYPES] Annoucement: release of Java Typestate Checker
Antonio Ravara
[TYPES] Recovering functions from classical disjunction and negation
Klaus Ostermann
Re: [TYPES] Recovering functions from classical disjunction and negation
Gabriel Scherer
[TYPES] Announcement: typestates in Rust
Antonio Ravara
[TYPES] Impredicative Set and large elimination
Jonathan Chan
Re: [TYPES] Impredicative Set and large elimination
Thomas Streicher
[TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software
Roberto Di Cosmo
Re: [TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software
Roberto Di Cosmo
[TYPES] Compiler correctness for a stack machine backend
Anitha Gollamudi
Re: [TYPES] Compiler correctness for a stack machine backend
Matt P. Dziubinski
Re: [TYPES] Compiler correctness for a stack machine backend
Xavier Leroy
Re: [TYPES] Compiler correctness for a stack machine backend
Tobias Nipkow
Re: [TYPES] Compiler correctness for a stack machine backend
Anitha Gollamudi
[TYPES] Free variables in TAPL’s constraint typing rules
Grosso, Joshua T. (Joshua)
[TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Roberto Di Cosmo
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Jon Sterling
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Tarmo Uustalu
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Marco Servetto
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Tadeusz Litak
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Gabriel Scherer
[TYPES] What's a program? (Seriously)
Talia Ringer
Re: [TYPES] What's a program? (Seriously)
Stefan Monnier
Re: [TYPES] What's a program? (Seriously)
Gavin Mendel-Gleason
Re: [TYPES] What's a program? (Seriously)
Martin Escardo
Re: [TYPES] What's a program? (Seriously)
Martin Escardo
Re: [TYPES] What's a program? (Seriously)
Talia Ringer
Re: [TYPES] What's a program? (Seriously)
Martin Escardo
Re: [TYPES] What's a program? (Seriously)
Hendrik Boom
Re: [TYPES] What's a program? (Seriously)
Martin Escardo
Re: [TYPES] What's a program? (Seriously)
Sergey Goncharov
Re: [TYPES] What's a program? (Seriously)
Neel Krishnaswami
Earlier messages