gmane.comp.science.types archive
393 archived articles, newest first (page 1 of 4). Latest articles →
Re: [TYPES] Algorithm W as elaboration into System F
Sat, 4 Jul 2026 22:21:35 -0700Re: [TYPES] Algorithm W as elaboration into System F
Sun, 5 Jul 2026 13:53:16 +0200Re: [TYPES] Algorithm W as elaboration into System F
Sun, 5 Jul 2026 13:51:43 +0200Re: [TYPES] Algorithm W as elaboration into System F
Fri, 3 Jul 2026 12:21:07 +0200[TYPES] Algorithm W as elaboration into System F
Thu, 25 Jun 2026 11:16:01 -0700[TYPES] 1995 paper now archived, appears to anticipate graded typing, here's the note
Thu, 18 Jun 2026 20:37:27 +1000Re: [TYPES] Admissibility of conversion rule for typed definitional equality
Tue, 16 Jun 2026 10:31:29 +0200[TYPES] Admissibility of conversion rule for typed definitional equality
Mon, 15 Jun 2026 18:03:09 +0200Re: [TYPES] AI-generated conference submissions
Sat, 21 Mar 2026 17:18:53 +0100Re: [TYPES] AI-generated conference submissions
Fri, 20 Mar 2026 08:53:16 -0700Re: [TYPES] AI-generated conference submissions
Fri, 20 Mar 2026 11:55:33 -0400Re: [TYPES] AI-generated conference submissions
Fri, 20 Mar 2026 12:51:31 +0000Re: [TYPES] AI-generated conference submissions
Fri, 20 Mar 2026 09:38:53 +0100Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 16:50:57 -0400Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 15:50:48 -0400Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 17:27:14 +0100Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 11:46:18 +0000Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 10:20:01 +0000Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 17:46:39 -0700Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 21:46:04 +0000Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 17:15:32 +0000Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 16:58:32 +0000Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 16:55:34 +0000Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 12:25:29 -0400Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 12:47:33 -0400Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 16:16:47 +0000Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 16:15:13 +0000Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 17:12:09 +0100Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 12:05:12 -0400Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 11:33:21 -0400Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 09:58:48 -0400Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 09:33:30 +0100Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 08:27:38 +0000Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 00:08:13 -0400Re: [TYPES] AI-generated conference submissions
Mon, 16 Mar 2026 23:15:24 -0400[TYPES] AI-generated conference submissions
Mon, 16 Mar 2026 16:03:00 -0400Re: [TYPES] Could we temporarily stop having conferences in the US?
Sun, 28 Sep 2025 12:17:22 -0400Re: [TYPES] Could we temporarily stop having conferences in the US?
Wed, 24 Sep 2025 21:23:06 +0000Re: [TYPES] Could we temporarily stop having conferences in the US?
Wed, 24 Sep 2025 09:56:13 +0200Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 23:27:04 +0000Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 15:59:56 -0700Re: [TYPES] Could we temporarily stop having conferences in the US?
Wed, 24 Sep 2025 00:03:44 +0200Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 20:09:19 +0000Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 21:44:19 +0200Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 20:27:04 +0200Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 19:09:05 +0100Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 18:39:02 +0100Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 18:44:45 +0200Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 17:18:52 +0100Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 18:05:27 +0200Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 13:20:01 +0000Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 12:20:41 +0200Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 06:18:35 +0000Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 08:10:53 +0200Re: [TYPES] Could we temporarily stop having conferences in the US?
Mon, 22 Sep 2025 09:24:02 -0400Re: [TYPES] Could we temporarily stop having conferences in the US?
Mon, 22 Sep 2025 13:11:21 +0900Re: [TYPES] Could we temporarily stop having conferences in the US?
Sun, 21 Sep 2025 18:48:55 -0400Re: [TYPES] Could we temporarily stop having conferences in the US?
Fri, 19 Sep 2025 17:23:36 +0200Re: [TYPES] Could we temporarily stop having conferences in the US?
Fri, 19 Sep 2025 11:22:47 -0300[TYPES] Could we temporarily stop having conferences in the US?
Fri, 19 Sep 2025 16:03:02 +0200Re: [TYPES] Identity extension for the system F term model
Fri, 29 Aug 2025 06:40:10 +0000Re: [TYPES] Types-list Digest, Vol 155, Issue 3
Thu, 28 Aug 2025 23:55:09 -0400Re: [TYPES] Identity extension for the system F term model
Thu, 28 Aug 2025 23:15:41 -0400Re: [TYPES] Identity extension for the system F term model
Thu, 28 Aug 2025 17:55:27 -0400Re: [TYPES] Identity extension for the system F term model
Thu, 28 Aug 2025 10:20:58 -0700Re: [TYPES] Identity extension for the system F term model
Thu, 28 Aug 2025 10:49:48 -0700Re: [TYPES] Identity extension for the system F term model
Wed, 27 Aug 2025 23:34:34 -0400Re: [TYPES] Types-list Digest, Vol 155, Issue 3
Wed, 27 Aug 2025 16:58:47 -0700[TYPES] The "omega rule" in polymorphic lambda calculus
Sun, 17 Aug 2025 18:13:56 -0400Re: [TYPES] Types-list Digest, Vol 155, Issue 3
Sat, 16 Aug 2025 19:43:32 +0100Re: [TYPES] Types-list Digest, Vol 155, Issue 3
Sat, 16 Aug 2025 10:42:38 -0700Re: [TYPES] Types-list Digest, Vol 155, Issue 3
Fri, 15 Aug 2025 01:59:38 -0400[TYPES] Identity extension for the system F term model
Mon, 11 Aug 2025 21:25:19 -0700[TYPES] Printed copies of HOPL III and IV
Tue, 13 Aug 2024 09:59:04 -0400Re: [TYPES] Undergraduate internships in PL?
Mon, 5 Aug 2024 12:08:33 -0700Re: [TYPES] Undergraduate internships in PL?
Mon, 15 Jul 2024 23:11:24 +0800[TYPES] Undergraduate internships in PL?
Wed, 10 Jul 2024 16:16:23 -0400[TYPES] Unit types and Dependent Type Theory
Fri, 19 Apr 2024 15:21:29 +0100[TYPES] Giving semantics to universes with explicit universe polymorphism
Mon, 26 Feb 2024 20:01:10 +0000[TYPES] Alan Jeffrey
Fri, 9 Feb 2024 17:25:15 +0000[TYPES] Bibliography of Cyclic and Non-well-founded Proof Theory
Tue, 6 Feb 2024 21:45:12 +0000Re: [TYPES] a naive question on datatype declarations
Mon, 5 Feb 2024 12:21:09 +0000Re: [TYPES] a naive question on datatype declarations
Mon, 29 Jan 2024 15:34:03 -0500Re: [TYPES] a naive question on datatype declarations
Mon, 29 Jan 2024 09:36:10 +0000Re: [TYPES] a naive question on datatype declarations
Sun, 28 Jan 2024 19:12:17 +0100Re: [TYPES] a naive question on datatype declarations
Mon, 29 Jan 2024 08:23:37 +0000Re: [TYPES] a naive question on datatype declarations
Sun, 28 Jan 2024 12:17:00 -0500Re: [TYPES] a naive question on datatype declarations
Sun, 28 Jan 2024 03:37:14 +0000 (UTC)Re: [TYPES] a naive question on datatype declarations
Sat, 27 Jan 2024 08:42:52 -0500Re: [TYPES] a naive question on datatype declarations
Sat, 27 Jan 2024 13:14:03 +0100Re: [TYPES] a naive question on datatype declarations
Sat, 27 Jan 2024 09:27:22 +0000[TYPES] a naive question on datatype declarations
Fri, 26 Jan 2024 17:18:52 -0500Re: [TYPES] Looking for C. P. Wadsworth's PhD thesis
Sun, 17 Dec 2023 12:55:30 +0100Re: [TYPES] Looking for C. P. Wadsworth's PhD thesis
Sat, 16 Dec 2023 21:29:23 +0000[TYPES] Looking for C. P. Wadsworth's PhD thesis
Sat, 16 Dec 2023 17:56:56 +0100Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Fri, 15 Dec 2023 19:26:03 +0000Re: [TYPES] Why are ACM conference registrations so expensive now?
Fri, 15 Dec 2023 18:31:24 +0000Re: [TYPES] Why are ACM conference registrations so expensive now?
Fri, 15 Dec 2023 17:33:13 +0000Re: [TYPES] Why are ACM conference registrations so expensive now?
Fri, 15 Dec 2023 10:36:32 -0500Re: [TYPES] Why are ACM conference registrations so expensive now?
Fri, 15 Dec 2023 09:15:39 -0500
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.