2019 Archives by subject
Starting: Sun Jan 6 06:54:56 EST 2019
Ending: Sat Dec 28 05:23:47 EST 2019
Messages: 80
- [TYPES] ?==?utf-8?q? ?==?utf-8?q? Gödel's T extended with an eta-like rule for the recursor
Sergei Soloviev
- [TYPES] An order-theoretic approach to OO generics
moez at cs.rice.edu
- [TYPES] An order-theoretic approach to OO generics
moez at cs.rice.edu
- [TYPES] Conversion irrelevance and extensionality
Stefan Monnier
- [TYPES] Example uses of impredicativity
Stefan Monnier
- [TYPES] Example uses of impredicativity
William J. Bowman
- [TYPES] Example uses of impredicativity
Martin Escardo
- [TYPES] Example uses of impredicativity
Benjamin C. Pierce
- [TYPES] Example uses of impredicativity
Beta Ziliani
- [TYPES] Example uses of impredicativity
Matthieu Sozeau
- [TYPES] Gödel's T extended with an eta-like rule for the recursor
Ansten Mørch Klev
- [TYPES] Gödel's T extended with an eta-like rule for the recursor
Frédéric Blanqui
- [TYPES] Gödel's T extended with an eta-like rule for the recursor
Danel Ahman
- [TYPES] Gödel's T extended with an eta-like rule for the recursor
David CHEMOUIL
- [TYPES] Gödel's T extended with an eta-like rule for the recursor
Danko ILIK
- [TYPES] How to code interesting examples in λC
Beta Ziliani
- [TYPES] How to code interesting examples in λC
Herman Geuvers
- [TYPES] How to code interesting examples in λC
Beta Ziliani
- [TYPES] In a letter to the US White House,
selinger at mathstat.dal.ca
- [TYPES] In a letter to the US White House,
Robert Rand
- [TYPES] In a letter to the US White House,
Gabriel Scherer
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Gabriel Scherer
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Jonathan Aldrich
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Tim Sweeney
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Stefan Monnier
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Rishiyur Nikhil
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Roberto Di Cosmo
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Gabriel Scherer
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Andrew Myers
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Gabriel Scherer
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Stefan Monnier
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Andrew Myers
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Tadeusz Litak
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Derek Dreyer
- [TYPES] In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles
Cristina Videira Lopes
- [TYPES] Literature relating subtyping to positivity checking for recursive types?
Christopher Jenkins
- [TYPES] Literature relating subtyping to positivity checking for recursive types?
Gabriel Scherer
- [TYPES] Literature relating subtyping to positivity checking for recursive types?
Sandro Stucki
- [TYPES] Literature relating subtyping to positivity checking for recursive types?
Christopher Jenkins
- [TYPES] Literature relating subtyping to positivity checking for recursive types?
Christopher Jenkins
- [TYPES] Open Access: a bit of background (Was: Re: In a letter to the US White House, ACM opposes free distribution of peer-reviewed journal articles)
Roberto Di Cosmo
- [TYPES] Order of evaluation rules in untyped lambda-calculus
Brian Berns
- [TYPES] Order of evaluation rules in untyped lambda-calculus
John Clements
- [TYPES] Order of evaluation rules in untyped lambda-calculus
Brian Berns
- [TYPES] Order of evaluation rules in untyped lambda-calculus
John Clements
- [TYPES] Order of evaluation rules in untyped lambda-calculus
Ezra e. k. Cooper
- [TYPES] Order of evaluation rules in untyped lambda-calculus
Brian Berns
- [TYPES] Reduction ordering on terms of simply-typed lambda-calculus compatible with beta-reduction
Ahmed Bhayat
- [TYPES] Reduction ordering on terms of simply-typed lambda-calculus compatible with beta-reduction
James Koppel
- [TYPES] Reduction ordering on terms of simply-typed lambda-calculus compatible with beta-reduction
Damiano Mazza
- [TYPES] Reduction ordering on terms of simply-typed lambda-calculus compatible with beta-reduction
Frédéric Blanqui
- [TYPES] Reduction ordering on terms of simply-typed lambda-calculus compatible with beta-reduction
Ahmed Bhayat
- [TYPES] Reduction ordering on terms of simply-typed lambda-calculus compatible with beta-reduction
James Koppel
- [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Norman Ramsey
- [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Elias Castegren
- [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Gabriel Scherer
- [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Filip Sieczkowski
- [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
William J. Bowman
- [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
Peter Sewell
- [TYPES] Summary of tricks for setting figures of rules in LaTeX
Norman Ramsey
- [TYPES] Theory of Particular Sets
Paul Blain Levy
- [TYPES] Types-list Digest, Vol 121, Issue 4
jan Vitek
- [TYPES] Types-list Digest, Vol 121, Issue 4
Andrew Myers
- [TYPES] Types-list Digest, Vol 121, Issue 8
Valeria de Paiva
- [TYPES] Types-list Digest, Vol 121, Issue 8
Marco Servetto
- [TYPES] Types-list Digest, Vol 121, Issue 8
Roberto Di Cosmo
- [TYPES] Variants and [Park or Scott] fixpoint Induction
O'Hearn, Peter
- [TYPES] Variants and [Park or Scott] fixpoint Induction
Sergey Goncharov
- [TYPES] Variants and [Park or Scott] fixpoint Induction
Thomas Streicher
- [TYPES] Variants and [Park or Scott] fixpoint Induction
O'Hearn, Peter
- [TYPES] Variants and [Park or Scott] fixpoint Induction
Ben Sherman
- [TYPES] Variants and [Park or Scott] fixpoint Induction
Tadeusz Litak
- [TYPES] What exactly should we call syntax-directed inference rules?
Julia Belyakova
- [TYPES] What exactly should we call syntax-directed inference rules?
Frank Pfenning
- [TYPES] What exactly should we call syntax-directed inference rules?
Julia Belyakova
- [TYPES] What exactly should we call syntax-directed inference rules?
Frank Pfenning
- [TYPES] What exactly should we call syntax-directed inference rules?
Julia Belyakova
- [TYPES] Why cannot declare a super type dynamically?
Xuhui Li
- [TYPES] Why cannot declare a super type dynamically?
Jeremy Siek
- [TYPES] Why cannot declare a super type dynamically?
Marco Servetto
Last message date:
Sat Dec 28 05:23:47 EST 2019
Archived on: Sat Dec 28 05:32:29 EST 2019
This archive was generated by
Pipermail 0.09 (Mailman edition).