2019 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• 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] Gödel's T extended with an eta-like rule for the recursor   Danko ILIK
• [TYPES] Conversion irrelevance and extensionality   Stefan Monnier
• [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   Brian Berns
  • [TYPES] Order of evaluation rules in untyped lambda-calculus   Ezra e. k. Cooper
• [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] 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] 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   Tadeusz Litak
  • [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] Theory of Particular Sets   Paul Blain Levy
• [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] 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   Matthieu Sozeau
  • [TYPES] Example uses of impredicativity   Benjamin C. Pierce
  • [TYPES] Example uses of impredicativity   Beta Ziliani
• [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   Peter Sewell
  • [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] 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,   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   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   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, ACM opposes free distribution of peer-reviewed journal articles   Stefan Monnier
• [TYPES] Types-list Digest, Vol 121, Issue 4   jan Vitek
  • [TYPES] Types-list Digest, Vol 121, Issue 4   Andrew Myers
• [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 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: [ subject ] [ author ] [ date ]
• More info on this list...