gmane.comp.science.types archive
395 archived articles, newest first (page 3 of 4). Latest articles →
Re: [TYPES] R: ETAPS bars Russian researchers from attending
Thu, 10 Mar 2022 03:43:43 +0900Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 16:50:21 +0000Re: [TYPES] ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 08:30:49 -0600Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 17:07:56 +0100Re: [TYPES] ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 10:36:53 -0500Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 10:38:14 -0500Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 10:27:45 -0500Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 12:43:39 +0000Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 07:59:16 -0500Re: [TYPES] ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 14:53:42 +0100Re: [TYPES] ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 13:25:22 +0100Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 10:43:27 +0000Re: [TYPES] ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 08:44:36 -0300Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 06:41:22 -0300Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 14:24:23 +0530Re: [TYPES] ETAPS bars Russian researchers from attending
Tue, 8 Mar 2022 20:29:10 -0300Re: [TYPES] Types-list Digest, Vol 140, Issue 1
Wed, 9 Mar 2022 07:42:18 +0100[TYPES] R: ETAPS bars Russian researchers from attending
Tue, 8 Mar 2022 21:31:51 +0000Re: [TYPES] ETAPS bars Russian researchers from attending
Tue, 8 Mar 2022 21:24:37 +0100Re: [TYPES] ETAPS bars Russian researchers from attending
Tue, 8 Mar 2022 19:04:06 +0000Re: [TYPES] ETAPS bars Russian researchers from attending
Tue, 8 Mar 2022 14:04:38 -0500Re: [TYPES] ETAPS bars Russian researchers from attending
Tue, 08 Mar 2022 20:35:11 +0100Re: [TYPES] ETAPS bars Russian researchers from attending
Tue, 8 Mar 2022 20:48:50 +0100Re: [TYPES] ETAPS bars Russian researchers from attending
Tue, 8 Mar 2022 12:55:33 -0600[TYPES] ETAPS bars Russian researchers from attending
Tue, 8 Mar 2022 15:01:09 +0000[TYPES] Consistency of NF
Tue, 1 Mar 2022 06:28:59 +0000Re: [TYPES] Request: Papers to understand Nordic logic talk
Sat, 19 Feb 2022 19:03:07 -0500[TYPES] Request: Papers to understand Nordic logic talk
Sat, 19 Feb 2022 09:45:19 +0530Re: [TYPES] Wanted: Jean-Yves Girard's "Interpr étation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Mon, 3 Jan 2022 10:01:21 -0500Re: [TYPES] Wanted: Jean-Yves Girard's "Interpr étation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Sun, 02 Jan 2022 21:19:40 +0100[TYPES] Postdoctoral Research Assistant position at University of Edinburgh
Mon, 27 Dec 2021 16:54:27 +0000Re: [TYPES] Wanted: Jean-Yves Girard's "Interpre ́tation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur"
Mon, 27 Dec 2021 12:51:29 -0500[TYPES] Wanted: Jean-Yves Girard's "Interpre ́tation fonctionnelle et élimination des coup ures de l'arithmétique d'ordre supérieur "
Thu, 16 Dec 2021 20:38:27 +0000[TYPES] Wanted: Nancy McCracken's Ph.D Thesis - An Investigation of a Programming Language with a Polymorphic Type Structure
Thu, 16 Dec 2021 20:37:41 +0000[TYPES] screencast series on the lambda cube
Wed, 8 Dec 2021 23:18:22 +0100Re: [TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software
Tue, 12 Oct 2021 16:18:54 +0200Re: [TYPES] Congruence rules vs frames
Sun, 10 Oct 2021 17:35:31 +0200Re: [TYPES] Congruence rules vs frames
Sun, 10 Oct 2021 15:46:38 +0200Re: [TYPES] Congruence rules vs frames
Sun, 10 Oct 2021 15:28:25 +0200Re: [TYPES] Congruence rules vs frames
Sun, 10 Oct 2021 14:15:27 +0100Re: [TYPES] Congruence rules vs frames
Sat, 9 Oct 2021 17:02:11 -0700Re: [TYPES] Congruence rules vs frames
Sat, 9 Oct 2021 23:28:18 +0200Re: [TYPES] Congruence rules vs frames
Sat, 9 Oct 2021 23:12:01 +0200[TYPES] Congruence rules vs frames
Sat, 9 Oct 2021 16:32:51 +0100[TYPES] Annoucement: release of Java Typestate Checker
Thu, 9 Sep 2021 16:00:34 +0100Re: [TYPES] Recovering functions from classical disjunction and negation
Sat, 28 Aug 2021 23:56:49 +0200[TYPES] Recovering functions from classical disjunction and negation
Sat, 28 Aug 2021 23:28:33 +0200[TYPES] Announcement: typestates in Rust
Fri, 30 Jul 2021 18:37:49 +0100Re: [TYPES] Impredicative Set and large elimination
Wed, 28 Jul 2021 19:02:21 +0200[TYPES] Impredicative Set and large elimination
Tue, 27 Jul 2021 18:03:36 -0700[TYPES] Policy news from France: the new national plan for open science with concrete measures for open access and software
Mon, 19 Jul 2021 14:16:00 +0200Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Thu, 8 Jul 2021 17:33:55 +0200Re: [TYPES] Compiler correctness for a stack machine backend
Tue, 29 Jun 2021 19:26:15 -0400Re: [TYPES] Compiler correctness for a stack machine backend
Mon, 28 Jun 2021 07:13:06 +0200Re: [TYPES] Compiler correctness for a stack machine backend
Sat, 26 Jun 2021 17:21:13 +0200Re: [TYPES] Compiler correctness for a stack machine backend
Sat, 26 Jun 2021 16:13:48 +0200[TYPES] Compiler correctness for a stack machine backend
Thu, 24 Jun 2021 13:21:56 -0400Re: [TYPES] online conferences should be free
Mon, 7 Jun 2021 12:16:24 -0400Re: [TYPES] online conferences should be free
Mon, 07 Jun 2021 01:45:52 -0400Re: [TYPES] online conferences should be free
Sun, 6 Jun 2021 21:00:01 -0300Re: [TYPES] online conferences should be free
Sun, 6 Jun 2021 19:33:00 -0400Re: [TYPES] online conferences should be free
Sat, 05 Jun 2021 18:20:28 -0400Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Sat, 5 Jun 2021 12:56:45 -0700Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Sat, 5 Jun 2021 15:22:22 -0300Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Sat, 5 Jun 2021 08:39:16 +0200Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Sat, 5 Jun 2021 08:44:23 +0200Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Fri, 4 Jun 2021 21:04:28 +0300Re: [TYPES] What's a program? (Seriously)
Fri, 4 Jun 2021 12:24:58 -0400Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Fri, 4 Jun 2021 14:56:23 +0200Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Fri, 4 Jun 2021 15:17:14 +0200Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Fri, 4 Jun 2021 00:38:11 +0200Re: [TYPES] What's a program? (Seriously)
Fri, 04 Jun 2021 11:05:42 +0200Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Fri, 4 Jun 2021 09:14:40 +1200Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Thu, 3 Jun 2021 22:28:00 +0200Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Thu, 3 Jun 2021 19:17:47 +0300Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Tue, 01 Jun 2021 09:11:33 -0400Re: [TYPES] Diamond open access, cost and sustainability model: a JOSS example
Mon, 31 May 2021 08:00:00 +0200[TYPES] Free variables in TAPL’s constraint ty ping rules
Sun, 30 May 2021 18:40:32 +0000[TYPES] Diamond open access, cost and sustainability model: a JOSS example
Sun, 30 May 2021 18:52:01 +0200Re: [TYPES] What's a program? (Seriously)
Sat, 22 May 2021 18:43:55 +0200Re: [TYPES] What's a program? (Seriously)
Sat, 22 May 2021 16:09:37 -0400Re: [TYPES] What's a program? (Seriously)
Sun, 23 May 2021 19:29:15 +0200Re: [TYPES] What's a program? (Seriously)
Sat, 22 May 2021 12:28:14 +0200Re: [TYPES] What's a program? (Seriously)
Fri, 21 May 2021 17:19:59 +0200Re: [TYPES] What's a program? (Seriously)
Fri, 21 May 2021 23:01:10 +0900Re: [TYPES] What's a program? (Seriously)
Thu, 20 May 2021 09:50:55 -0400Re: [TYPES] What's a program? (Seriously)
Thu, 20 May 2021 13:10:53 +0000Re: [TYPES] What's a program? (Seriously)
Thu, 20 May 2021 13:15:46 +0200Re: [TYPES] What's a program? (Seriously)
Thu, 20 May 2021 10:31:56 +0100Re: [TYPES] What's a program? (Seriously)
Thu, 20 May 2021 09:00:11 +0100Re: [TYPES] What's a program? (Seriously)
Thu, 20 May 2021 09:17:27 +0200Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 21:52:33 -0400Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 17:59:13 +0200Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 19:32:48 +0200Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 17:26:52 +0200Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 09:20:39 -0400Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 08:03:05 -0400Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 23:52:40 +0900Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 16:56:06 +0200Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 03:35:22 -0700
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.