2021 Archives by subject

• Messages sorted by: [ thread ] [ 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] Annoucement: release of Java Typestate Checker   Antonio Ravara
• [TYPES] Announcement: typestates in Rust   Antonio Ravara
• [TYPES] Announcing a "types" Zulip Chat, experimental for now   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] 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   Gan Shen
• [TYPES] Congruence rules vs frames   Philip Wadler
• [TYPES] Congruence rules vs frames   Derek Dreyer
• [TYPES] Congruence rules vs frames   Derek Dreyer
• [TYPES] Congruence rules vs frames   Jules Jacobs
• [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] Impredicative Set and large elimination   Jonathan Chan
• [TYPES] Impredicative Set and large elimination   Thomas Streicher
• [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] 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   Stefan Monnier
• [TYPES] online conferences should be free   Hendrik Boom
• [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 (was: global debriefing over our virtual experience of conferences)   Gabriel Scherer
• [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] Postdoctoral Research Assistant position at University of Edinburgh   Philip Wadler
• [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] Recovering functions from classical disjunction and negation   Klaus Ostermann
• [TYPES] Recovering functions from classical disjunction and negation   Gabriel Scherer
• [TYPES] screencast series on the lambda cube   Uwe Nestmann
• [TYPES] Strong Normalization for Dependent Typed Calculus   Anitha Gollamudi
• [TYPES] typability in Curry-style System F   Uwe Nestmann
• [TYPES] typability in Curry-style System F   Paweł Urzyczyn
• [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] 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] Wanted: Nancy McCracken's Ph.D Thesis - An Investigation of a Programming Language with a Polymorphic Type Structure   Aaron Gray
• [TYPES] What's a program? (Seriously)   Talia Ringer
• [TYPES] What's a program? (Seriously)   Stefan Monnier
• [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)   Gavin Mendel-Gleason
• [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)   Ansten Mørch Klev
• [TYPES] What's a program? (Seriously)   Martin Escardo
• [TYPES] What's a program? (Seriously)   Freek Wiedijk
• [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)   Hendrik Boom
• [TYPES] What's a program? (Seriously)   Oleg
• [TYPES] What's a program? (Seriously)   Thomas Streicher
• [TYPES] What's a program? (Seriously)   Gabriel Scherer
• [TYPES] What's a program? (Seriously)   Thomas Streicher
• [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)   Nicolai Kraus
• [TYPES] What's a program? (Seriously)   Neel Krishnaswami
• [TYPES] What's a program? (Seriously)   Thomas Streicher
• [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)   Guillaume Munch-Maccagnoni
• [TYPES] What's a program? (Seriously)   streicher at mathematik.tu-darmstadt.de
• [TYPES] What's a program? (Seriously)   Andrew Polonsky
• [TYPES] What's a program? (Seriously)   Guillaume Munch-Maccagnoni
• [TYPES] What's a program? (Seriously)   Tom Hirschowitz
• [TYPES] What's a program? (Seriously)   Hendrik Boom

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

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