2021 Archives by thread

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

Starting: Sun Jan 24 15:06:53 EST 2021
Ending: Mon Dec 27 12:51:29 EST 2021
Messages: 96

• [TYPES] Type systems for cryptographic proofs   Talia Ringer
  • [TYPES] Type systems for cryptographic proofs   Gabriel Scherer
  • [TYPES] Type systems for cryptographic proofs   Mads Buch
  • [TYPES] Type systems for cryptographic proofs   Jelle Herold
• [TYPES] typability in Curry-style System F   Uwe Nestmann
  • [TYPES] typability in Curry-style System F   Paweł Urzyczyn
• [TYPES] Announcing a "types" Zulip Chat, experimental for now   Gabriel Scherer
• [TYPES] normalization by evaluation for strong sums for STLC   Jason -Zhong Sheng- Hu
  • [TYPES] normalization by evaluation for strong sums for STLC   Neelakantan Krishnaswami
• [TYPES] Practical Foundations for Programming Languages : 2e : Requesting review   email at mayureshkathe.com
  • [TYPES] Practical Foundations for Programming Languages : 2e : Requesting review   Benjamin Pierce
• [TYPES] Strong Normalization for Dependent Typed Calculus   Anitha Gollamudi
• [TYPES] What's a program? (Seriously)   Talia Ringer
  • [TYPES] What's a program? (Seriously)   Stefan Monnier
    • [TYPES] What's a program? (Seriously)   Gavin Mendel-Gleason
  • [TYPES] What's a program? (Seriously)   Sergey Goncharov
  • [TYPES] What's a program? (Seriously)   Martin Escardo
    • [TYPES] What's a program? (Seriously)   Martin Escardo
      • [TYPES] What's a program? (Seriously)   Talia Ringer
      • [TYPES] What's a program? (Seriously)   Martin Escardo
      • [TYPES] What's a program? (Seriously)   Hendrik Boom
      • [TYPES] What's a program? (Seriously)   Martin Escardo
  • [TYPES] What's a program? (Seriously)   Neel Krishnaswami
    • [TYPES] What's a program? (Seriously)   Sandro Stucki
      • [TYPES] What's a program? (Seriously)   Neel Krishnaswami
      • [TYPES] What's a program? (Seriously)   Talia Ringer
      • [TYPES] What's a program? (Seriously)   Jason Gross
      • [TYPES] What's a program? (Seriously)   Gabriel Scherer
      • [TYPES] What's a program? (Seriously)   Thomas Streicher
      • [TYPES] What's a program? (Seriously)   Guillaume Munch-Maccagnoni
      • [TYPES] What's a program? (Seriously)   Tadeusz Litak
      • [TYPES] What's a program? (Seriously)   Jason Gross
      • [TYPES] What's a program? (Seriously)   Gabriel Scherer
      • [TYPES] What's a program? (Seriously)   Thomas Streicher
      • [TYPES] What's a program? (Seriously)   Neel Krishnaswami
      • [TYPES] What's a program? (Seriously)   Tarmo Uustalu
      • [TYPES] What's a program? (Seriously)   matthias at ccs.neu.edu
      • [TYPES] What's a program? (Seriously)   Oleg
      • [TYPES] What's a program? (Seriously)   Guillaume Munch-Maccagnoni
      • [TYPES] What's a program? (Seriously)   Nicolai Kraus
      • [TYPES] What's a program? (Seriously)   Thomas Streicher
      • [TYPES] What's a program? (Seriously)   Oleg
    • [TYPES] What's a program? (Seriously)   Ansten Mørch Klev
      • [TYPES] What's a program? (Seriously)   Freek Wiedijk
    • [TYPES] What's a program? (Seriously)   Tom Hirschowitz
      • [TYPES] What's a program? (Seriously)   Hendrik Boom
  • [TYPES] What's a program? (Seriously)   streicher at mathematik.tu-darmstadt.de
    • [TYPES] What's a program? (Seriously)   Guillaume Munch-Maccagnoni
  • [TYPES] What's a program? (Seriously)   Andrew Polonsky
• [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Gabriel Scherer
  • [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Roberto Di Cosmo
    • [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Jon Sterling
      • [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Tarmo Uustalu
      • [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Gabriel Scherer
      • [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Marco Servetto
      • [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Tadeusz Litak
      • [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Gabriel Scherer
  • [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Gabriel Scherer
    • [TYPES] Diamond open access, cost and sustainability model: a JOSS example   Gabriel Scherer
• [TYPES] Free variables in TAPL’s constraint typing rules   Grosso, Joshua T. (Joshua)
• [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Gabriel Scherer
  • [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Mehmet Oguz Derin
    • [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Alejandro Díaz-Caro
      • [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Talia Ringer
      • [TYPES] online conferences should be free   Stefan Monnier
      • [TYPES] online conferences should be free   Benjamin Pierce
      • [TYPES] online conferences should be free   Alejandro Díaz-Caro
      • [TYPES] online conferences should be free   Hendrik Boom
      • [TYPES] online conferences should be free   Stefan Monnier
  • [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)   Gabriel Scherer
• [TYPES] Compiler correctness for a stack machine backend   Anitha Gollamudi
  • [TYPES] Compiler correctness for a stack machine backend   Matt P. Dziubinski
  • [TYPES] Compiler correctness for a stack machine backend   Xavier Leroy
    • [TYPES] Compiler correctness for a stack machine backend   Tobias Nipkow
      • [TYPES] Compiler correctness for a stack machine backend   Anitha Gollamudi
• [TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software   Roberto Di Cosmo
  • [TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software   Roberto Di Cosmo
• [TYPES] Impredicative Set and large elimination   Jonathan Chan
  • [TYPES] Impredicative Set and large elimination   Thomas Streicher
• [TYPES] Announcement: typestates in Rust   Antonio Ravara
• [TYPES] Recovering functions from classical disjunction and negation   Klaus Ostermann
  • [TYPES] Recovering functions from classical disjunction and negation   Gabriel Scherer
• [TYPES] Annoucement: release of Java Typestate Checker   Antonio Ravara
• [TYPES] Congruence rules vs frames   Philip Wadler
  • [TYPES] Congruence rules vs frames   Derek Dreyer
    • [TYPES] Congruence rules vs frames   Jules Jacobs
      • [TYPES] Congruence rules vs frames   Derek Dreyer
    • [TYPES] Congruence rules vs frames   Gan Shen
    • [TYPES] Congruence rules vs frames   Philip Wadler
      • [TYPES] Congruence rules vs frames   Derek Dreyer
      • [TYPES] Congruence rules vs frames   Jules Jacobs
• [TYPES] screencast series on the lambda cube   Uwe Nestmann
• [TYPES] Wanted: Nancy McCracken's Ph.D Thesis - An Investigation of a Programming Language with a Polymorphic Type Structure   Aaron Gray
• [TYPES] Wanted: Jean-Yves Girard's "Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"   Aaron Gray
  • [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] Postdoctoral Research Assistant position at University of Edinburgh   Philip Wadler

Last message date: Mon Dec 27 12:51:29 EST 2021
Archived on: Mon Jan 3 09:17:59 EST 2022

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