gmane.comp.science.types archive
397 archived articles, newest first (page 4 of 4). Latest articles →
Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 11:29:47 +0200Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 10:54:51 +0100Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 10:03:33 +0100Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 10:08:37 +0200Re: [TYPES] What's a program? (Seriously)
Wed, 19 May 2021 10:03:36 +0200Re: [TYPES] What's a program? (Seriously)
Tue, 18 May 2021 21:58:19 +0100Re: [TYPES] What's a program? (Seriously)
Tue, 18 May 2021 23:26:37 +0200Re: [TYPES] What's a program? (Seriously)
Tue, 18 May 2021 14:18:42 -0700Re: [TYPES] What's a program? (Seriously)
Tue, 18 May 2021 22:44:45 +0200Re: [TYPES] What's a program? (Seriously)
Tue, 18 May 2021 23:00:18 +0100Re: [TYPES] What's a program? (Seriously)
Tue, 18 May 2021 22:10:37 +0100Re: [TYPES] What's a program? (Seriously)
Tue, 18 May 2021 22:51:56 +0100Re: [TYPES] What's a program? (Seriously)
Tue, 18 May 2021 16:39:52 -0400[TYPES] What's a program? (Seriously)
Tue, 18 May 2021 12:42:20 -0700[TYPES] Strong Normalization for Dependent Typed Calculus
Thu, 13 May 2021 00:07:38 -0400Re: [TYPES] Practical Foundations for Programming Languages : 2e : Requesting review
Mon, 19 Apr 2021 09:59:18 -0400[TYPES] Practical Foundations for Programming Language s : 2e : Requesting review
Fri, 16 Apr 2021 10:53:26 +0200Re: [TYPES] normalization by evaluation for strong sums for STLC
Tue, 30 Mar 2021 08:12:10 +0100[TYPES] normalization by evaluation for strong sums for STLC
Tue, 30 Mar 2021 02:34:05 +0000[TYPES] Announcing a "types" Zulip Chat, experimental for now
Wed, 3 Mar 2021 16:07:38 +0100Re: [TYPES] typability in Curry-style System F
Tue, 9 Feb 2021 11:38:18 +0100[TYPES] typability in Curry-style System F
Mon, 8 Feb 2021 19:56:18 +0100Re: [TYPES] Type systems for cryptographic proofs
Tue, 26 Jan 2021 16:04:32 +0100Re: [TYPES] Type systems for cryptographic proofs
Mon, 25 Jan 2021 09:20:01 +0000Re: [TYPES] Type systems for cryptographic proofs
Mon, 25 Jan 2021 09:23:07 +0100[TYPES] Type systems for cryptographic proofs
Sun, 24 Jan 2021 12:06:53 -0800[TYPES] open letter: make POPL and future virtual conferences more inclusive
Mon, 21 Dec 2020 22:43:01 -0500Re: [TYPES] Optimizing data representation
Thu, 10 Dec 2020 19:41:23 +0000Re: [TYPES] Optimizing data representation
Thu, 10 Dec 2020 13:49:23 -0500[TYPES] Optimizing data representation
Wed, 9 Dec 2020 21:32:59 +0000Re: [TYPES] Types for Units-of-Measure
Mon, 16 Nov 2020 21:08:20 +0100Re: [TYPES] [EXT] Re: Types for Units-of-Measure
Mon, 9 Nov 2020 14:11:34 +0000Re: [TYPES] Types for Units-of-Measure
Mon, 9 Nov 2020 13:56:11 +0100[TYPES] Types for Units-of-Measure
Mon, 9 Nov 2020 22:42:56 +1100[TYPES] Call for Papers - SPIN 2021
Thu, 5 Nov 2020 16:41:43 +0000Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Sun, 27 Sep 2020 18:23:26 +0200[TYPES] Pledge in favor of open access
Mon, 14 Sep 2020 02:12:52 +0200Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Tue, 8 Sep 2020 13:04:43 +0200Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Thu, 27 Aug 2020 10:08:55 +0200[TYPES] Online vs travel
Wed, 26 Aug 2020 15:09:26 -0400Re: [TYPES] [EXT] Re: online conferences should be free
Wed, 26 Aug 2020 08:21:46 +0100Re: [TYPES] [EXT] Re: online conferences should be free
Wed, 26 Aug 2020 10:55:12 -0400Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Tue, 25 Aug 2020 19:12:17 -0400Re: [TYPES] [EXT] Re: online conferences should be free
Tue, 25 Aug 2020 22:08:17 +0100Re: [TYPES] online conferences should be free
Tue, 25 Aug 2020 18:37:32 -0400Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Tue, 25 Aug 2020 22:24:51 +0200Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Tue, 25 Aug 2020 22:07:50 +0200Re: [TYPES] online conferences should be free
Tue, 25 Aug 2020 14:47:17 +0200Re: [TYPES] online conferences should be free
Mon, 24 Aug 2020 15:25:36 +0200Re: [TYPES] online conferences should be free
Mon, 24 Aug 2020 17:18:17 +0100Re: [TYPES] online conferences should be free
Mon, 24 Aug 2020 09:03:04 -0400Re: [TYPES] global debriefing over our virtual experience of conferences
Mon, 24 Aug 2020 18:59:55 +0900Re: [TYPES] global debriefing over our virtual experience of conferences
Mon, 24 Aug 2020 09:09:47 +0200Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Mon, 24 Aug 2020 08:48:59 +0200Re: [TYPES] global debriefing over our virtual experience of conferences
Sun, 23 Aug 2020 23:07:13 -0700Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Mon, 24 Aug 2020 01:14:07 +0100Re: [TYPES] global debriefing over our virtual experience of conferences
Sun, 23 Aug 2020 20:33:30 -0400Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Sun, 23 Aug 2020 21:23:15 +0200[TYPES] Fwd: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science"
Sun, 23 Aug 2020 17:42:35 +0100Re: [TYPES] global debriefing over our virtual experience of conferences
Sun, 23 Aug 2020 08:11:21 -0700Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Sun, 23 Aug 2020 17:35:34 +0100Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Sun, 23 Aug 2020 10:53:41 -0400Re: [TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Sun, 23 Aug 2020 07:14:12 -0700[TYPES] online conferences should be free (was: global debriefing over our virtual experience of conferences)
Sun, 23 Aug 2020 16:05:44 +0200Re: [TYPES] global debriefing over our virtual experience of conferences
Sun, 23 Aug 2020 15:57:49 +0200Re: [TYPES] global debriefing over our virtual experience of conferences
Tue, 18 Aug 2020 18:06:22 +0200Re: [TYPES] what is "lexical" about "lexical scoping"?
Mon, 3 Aug 2020 19:19:50 -0400Re: [TYPES] what is "lexical" about "lexical scoping"?
Sun, 2 Aug 2020 13:44:39 -0400Re: [TYPES] what is "lexical" about "lexical scoping"?
Sun, 02 Aug 2020 23:34:14 -0400Re: [TYPES] what is "lexical" about "lexical scoping"?
Mon, 03 Aug 2020 10:27:33 -0400Re: [TYPES] what is "lexical" about "lexical scoping"?
Sat, 1 Aug 2020 12:54:06 -0300 (ADT)Re: [TYPES] what is "lexical" about "lexical scoping"?
Sat, 1 Aug 2020 08:36:40 -0700Re: [TYPES] what is "lexical" about "lexical scoping"?
Fri, 31 Jul 2020 08:56:42 -0400Re: [TYPES] what is "lexical" about "lexical scoping"?
Fri, 31 Jul 2020 09:49:24 -0700Re: [TYPES] what is "lexical" about "lexical scoping"?
Fri, 31 Jul 2020 12:35:32 +0000Re: [TYPES] what is "lexical" about "lexical scoping"?
Thu, 30 Jul 2020 14:51:28 -0400[TYPES] what is "lexical" about "lexical scoping"?
Wed, 29 Jul 2020 19:06:52 -0400[TYPES] global debriefing over our virtual experience of conferences
Mon, 27 Jul 2020 18:19:50 +0200Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sun, 21 Jun 2020 20:39:07 +0200Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sun, 21 Jun 2020 17:46:23 +0200Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sun, 21 Jun 2020 16:25:52 +0200Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sun, 21 Jun 2020 13:20:00 +0200Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sun, 21 Jun 2020 03:06:07 +0900Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sat, 20 Jun 2020 13:21:25 -0400Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sat, 20 Jun 2020 18:10:23 +0200Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sat, 20 Jun 2020 17:37:01 +0200Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sat, 20 Jun 2020 08:20:05 -0600Re: [TYPES] artifacts for double blind submissions: what about copyright?
Sat, 20 Jun 2020 23:36:43 +1000[TYPES] artifacts for double blind submissions: what about copyright?
Fri, 19 Jun 2020 16:06:44 +0200[TYPES] [Announce]: biblatex-software package available for citing software artifacts
Mon, 4 May 2020 14:47:48 +0200Re: [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN
Sun, 3 May 2020 00:10:19 -0400Re: [TYPES] Towards Sustainable Open Access: thoughts on the ACM OPEN
Sat, 2 May 2020 00:53:11 -0300 (ADT)Re: [TYPES] effect vs. coeffect expressiveness
Fri, 1 May 2020 13:54:24 +0000Re: [TYPES] effect vs. coeffect expressiveness
Fri, 1 May 2020 12:57:16 +0200Re: [TYPES] effect vs. coeffect expressiveness
Fri, 1 May 2020 16:57:33 +1200Re: [TYPES] effect vs. coeffect expressiveness
Thu, 30 Apr 2020 22:59:03 +0100Re: [TYPES] effect vs. coeffect expressiveness
Thu, 30 Apr 2020 21:45:17 +0200
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.