2019 Archives by date

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

Starting: Sun Jan 6 06:54:56 EST 2019
Ending: Sat Dec 28 05:23:47 EST 2019
Messages: 80

• [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] 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] 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] ?==?utf-8?q? ?==?utf-8?q? Gödel's T extended with an eta-like rule for the recursor   Sergei Soloviev
• [TYPES] Gödel's T extended with an eta-like rule for the recursor   David CHEMOUIL
• [TYPES] Conversion irrelevance and extensionality   Stefan Monnier
• [TYPES] Gödel's T extended with an eta-like rule for the recursor   Danko ILIK
• [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] 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] 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
• [TYPES] What exactly should we call syntax-directed inference rules?   Julia Belyakova
• [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] Theory of Particular Sets   Paul Blain Levy
• [TYPES] Variants and [Park or Scott] fixpoint Induction   O'Hearn, Peter
• [TYPES] What exactly should we call syntax-directed inference rules?   Frank Pfenning
• [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] An order-theoretic approach to OO generics   moez at cs.rice.edu
• [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] An order-theoretic approach to OO generics   moez at cs.rice.edu
• [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] 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,   selinger at mathstat.dal.ca
• [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] Types-list Digest, Vol 121, Issue 4   jan Vitek
• [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] In a letter to the US White House,   Robert Rand
• [TYPES] In a letter to the US White House,   Gabriel Scherer
• [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] 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

Last message date: Sat Dec 28 05:23:47 EST 2019
Archived on: Sat Dec 28 05:32:29 EST 2019

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