gmane.comp.science.types

6677 articles on record, showing the most recent 50.

Re: [TYPES] Algorithm W as elaboration into System F
Sat, 4 Jul 2026 22:21:35 -0700
Ryan Wisnesky <[email protected]> • #6747
Re: [TYPES] Algorithm W as elaboration into System F
Sun, 5 Jul 2026 13:53:16 +0200
Fritz Henglein <fritz-IzpjTRc13oxWk0Htik3J/[email protected]> • #6746
Re: [TYPES] Algorithm W as elaboration into System F
Sun, 5 Jul 2026 13:51:43 +0200
Fritz Henglein <fritz-IzpjTRc13oxWk0Htik3J/[email protected]> • #6745
Re: [TYPES] Algorithm W as elaboration into System F
Fri, 3 Jul 2026 12:21:07 +0200
Jelle Herold <jelle-kIsX6l2ZSilmR6Xm/[email protected]> • #6744
[TYPES] Algorithm W as elaboration into System F
Thu, 25 Jun 2026 11:16:01 -0700
Ryan Wisnesky <[email protected]> • #6743
[TYPES] 1995 paper now archived, appears to anticipate graded typing, here's the note
Thu, 18 Jun 2026 20:37:27 +1000
David <[email protected]> • #6742
Re: [TYPES] Admissibility of conversion rule for typed definitional equality
Tue, 16 Jun 2026 10:31:29 +0200
Meven Lennon-Bertrand <[email protected]> • #6741
[TYPES] Admissibility of conversion rule for typed definitional equality
Mon, 15 Jun 2026 18:03:09 +0200
Wassim Ait Moussa <[email protected]> • #6740
Re: [TYPES] AI-generated conference submissions
Sat, 21 Mar 2026 17:18:53 +0100
Michael Sperber <[email protected]> • #6739
Re: [TYPES] AI-generated conference submissions
Fri, 20 Mar 2026 08:53:16 -0700
Michael Shulman <shulman-TvkoZMfDC0T2fBVCVOL8/[email protected]> • #6738
Re: [TYPES] AI-generated conference submissions
Fri, 20 Mar 2026 11:55:33 -0400
Hendrik Boom <hendrik-e9JHxFxFq/[email protected]> • #6737
Re: [TYPES] AI-generated conference submissions
Fri, 20 Mar 2026 12:51:31 +0000
Jeremy Gibbons <[email protected]> • #6736
Re: [TYPES] AI-generated conference submissions
Fri, 20 Mar 2026 09:38:53 +0100
Gavin Mendel-Gleason <[email protected]> • #6735
Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 16:50:57 -0400
Hendrik Boom <hendrik-e9JHxFxFq/[email protected]> • #6734
Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 15:50:48 -0400
Stephanie Balzer <[email protected]> • #6733
Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 17:27:14 +0100
Ralf Jung <[email protected]> • #6732
Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 11:46:18 +0000
Gergely Buday <[email protected]> • #6731
Re: [TYPES] AI-generated conference submissions
Wed, 18 Mar 2026 10:20:01 +0000
vladi Sassone <[email protected]> • #6730
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 17:46:39 -0700
Michael Shulman <shulman-TvkoZMfDC0T2fBVCVOL8/[email protected]> • #6729
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 21:46:04 +0000
Martin Lester <[email protected]> • #6728
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 17:15:32 +0000
Alcides Fonseca <me-MQvYMha/[email protected]> • #6727
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 16:58:32 +0000
mukesh tiwari <[email protected]> • #6726
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 16:55:34 +0000
"Neel Krishnaswami" <[email protected]> • #6725
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 12:25:29 -0400
Jonathan Aldrich <[email protected]> • #6724
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 12:47:33 -0400
Mae Milano <mpmilano-sXtZGUMCxtn536EW/[email protected]> • #6723
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 16:16:47 +0000
"Jon Sterling" <[email protected]> • #6722
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 16:15:13 +0000
Alcides Fonseca <me-MQvYMha/[email protected]> • #6721
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 17:12:09 +0100
Théo Winterhalter <[email protected]> • #6720
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 12:05:12 -0400
Mae Milano <mpmilano-sXtZGUMCxtn536EW/[email protected]> • #6719
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 11:33:21 -0400
Anitha Gollamudi <[email protected]> • #6718
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 09:58:48 -0400
Jonathan Aldrich <[email protected]> • #6717
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 09:33:30 +0100
Klaus Ostermann <[email protected]> • #6716
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 08:27:38 +0000
Jon Sterling <[email protected]> • #6715
Re: [TYPES] AI-generated conference submissions
Tue, 17 Mar 2026 00:08:13 -0400
Mae Milano <mpmilano-sXtZGUMCxtn536EW/[email protected]> • #6714
Re: [TYPES] AI-generated conference submissions
Mon, 16 Mar 2026 23:15:24 -0400
Jonathan Aldrich <[email protected]> • #6713
[TYPES] AI-generated conference submissions
Mon, 16 Mar 2026 16:03:00 -0400
Stephanie Balzer <[email protected]> • #6712
Re: [TYPES] Could we temporarily stop having conferences in the US?
Sun, 28 Sep 2025 12:17:22 -0400
Ningning Xie <[email protected]> • #6711
Re: [TYPES] Could we temporarily stop having conferences in the US?
Wed, 24 Sep 2025 21:23:06 +0000
Alex Potanin <[email protected]> • #6710
Re: [TYPES] Could we temporarily stop having conferences in the US?
Wed, 24 Sep 2025 09:56:13 +0200
Gabriel Scherer <[email protected]> • #6709
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 23:27:04 +0000
Alex Potanin <[email protected]> • #6708
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 15:59:56 -0700
Yao Li <[email protected]> • #6707
Re: [TYPES] Could we temporarily stop having conferences in the US?
Wed, 24 Sep 2025 00:03:44 +0200
Derek Dreyer <[email protected]> • #6706
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 20:09:19 +0000
Fritz Henglein <[email protected]> • #6705
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 21:44:19 +0200
Gabriel Scherer <[email protected]> • #6704
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 20:27:04 +0200
Derek Dreyer <[email protected]> • #6703
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 19:09:05 +0100
Sam Lindley <[email protected]> • #6702
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 18:39:02 +0100
Peter Sewell <[email protected]> • #6701
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 18:44:45 +0200
Derek Dreyer <[email protected]> • #6700
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 17:18:52 +0100
Peter Sewell <[email protected]> • #6699
Re: [TYPES] Could we temporarily stop having conferences in the US?
Tue, 23 Sep 2025 18:05:27 +0200
Derek Dreyer <[email protected]> • #6698