gmane.comp.science.types archive
395 archived articles, newest first (page 2 of 4). Latest articles →
Re: [TYPES] Why are ACM conference registrations so expensive now?
Fri, 15 Dec 2023 12:33:04 +0000Re: [TYPES] [External] Re: Why are ACM conference registrations so expensive now?
Thu, 14 Dec 2023 23:10:30 +0100Re: [TYPES] [External] Re: Why are ACM conference registrations so expensive now?
Thu, 14 Dec 2023 13:42:41 -0500Re: [TYPES] Why are ACM conference registrations so expensive now?
Thu, 14 Dec 2023 17:53:29 +0000Re: [TYPES] Why are ACM conference registrations so expensive now?
Thu, 14 Dec 2023 11:04:07 -0500Re: [TYPES] Why are ACM conference registrations so expensive now?
Thu, 14 Dec 2023 10:39:29 -0500Re: [TYPES] Why are ACM conference registrations so expensive now?
Thu, 14 Dec 2023 12:52:52 +0100Re: [TYPES] Why are ACM conference registrations so expensive now?
Thu, 14 Dec 2023 10:25:32 +1100Re: [TYPES] Why are ACM conference registrations so expensive now?
Thu, 14 Dec 2023 08:10:47 +0900Re: [TYPES] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 14:04:34 -0800Re: [TYPES] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 21:49:34 +0100Re: [TYPES] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 20:36:40 +0100Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 20:00:32 +0100Re: [TYPES] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 13:27:32 -0500Re: [TYPES] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 17:13:31 +0000Re: [TYPES] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 12:30:35 -0500Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 08:23:52 -0800Re: [TYPES] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 16:20:47 +0000Re: [TYPES] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 16:10:15 +0000Re: [TYPES] [External] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 14:37:45 +0000[TYPES] Why are ACM conference registrations so expensive now?
Wed, 13 Dec 2023 12:03:41 +0000[TYPES] chair of cybersecurity at the hardware/software interface
Wed, 22 Nov 2023 11:59:53 +0100Re: [TYPES] Peter Aczel
Thu, 3 Aug 2023 09:46:59 +0100[TYPES] Consistency of Quine’s New Foundation s
Tue, 11 Jul 2023 17:23:43 +0000Re: [TYPES] Equivalence invariance for MLTT (reference request)
Mon, 26 Jun 2023 10:14:03 +0200Re: [TYPES] Equivalence invariance for MLTT (reference request)
Tue, 13 Jun 2023 20:47:23 +0200Re: [TYPES] Equivalence invariance for MLTT (reference request)
Tue, 13 Jun 2023 15:50:07 +0200[TYPES] Equivalence invariance for MLTT (reference request)
Mon, 12 Jun 2023 20:56:27 +0200Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Wed, 31 May 2023 12:23:02 +0200Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Mon, 22 May 2023 23:31:52 +0000Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Mon, 22 May 2023 13:52:07 +0200Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Mon, 22 May 2023 11:08:26 +0200Re: [TYPES] Full abstraction of applicative contexts in call-by-value
Fri, 19 May 2023 13:24:58 +0200[TYPES] Full abstraction of applicative contexts in call-by-value
Mon, 3 Apr 2023 14:56:21 +0200Re: [TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion
Fri, 24 Feb 2023 17:48:15 +0100Re: [TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion
Fri, 17 Feb 2023 14:54:49 +0100[TYPES] Reference request: decidability of head normalization for a pure first-order calculus with recursion
Thu, 16 Feb 2023 23:23:09 +0100[TYPES] Looking for the Source Code for the Book Object-Oriented Type Systems.
Wed, 21 Dec 2022 20:49:51 +0000Re: [TYPES] TaPL Course?
Wed, 21 Dec 2022 18:14:04 +0000Re: [TYPES] TaPL Course?
Tue, 20 Dec 2022 14:14:54 -0500Re: [TYPES] TaPL Course?
Mon, 19 Dec 2022 16:03:33 +0100Re: [TYPES] TaPL Course?
Sat, 17 Dec 2022 09:13:35 -0300[TYPES] TaPL Course?
Wed, 30 Nov 2022 23:49:37 -0600[TYPES] Martin-Löf transcriptions
Fri, 16 Sep 2022 11:28:03 +0200Re: [TYPES] Type theory of file formats
Tue, 23 Aug 2022 18:49:19 -0400Re: [TYPES] Type theory of file formats
Wed, 24 Aug 2022 03:21:14 -0400Re: [TYPES] Type theory of file formats
Mon, 22 Aug 2022 01:03:24 -0400Re: [TYPES] Type theory of file formats
Sun, 21 Aug 2022 21:47:04 -0400Re: [TYPES] Type theory of file formats
Mon, 22 Aug 2022 04:01:30 -0400[TYPES] Type theory of file formats
Sat, 20 Aug 2022 00:07:38 -0400Re: [TYPES] reference request: MLTT with Russell's non-cumulative universes
Wed, 17 Aug 2022 17:58:16 +0200Re: [TYPES] subtyping of mutually recursive algebraic data types
Tue, 9 Aug 2022 13:52:03 +0100Re: [TYPES] reference request: MLTT with Russell's non-cumulative universes
Tue, 16 Aug 2022 01:12:49 +0000Re: [TYPES] reference request: MLTT with Russell's non-cumulative universes
Mon, 15 Aug 2022 23:28:41 +0200[TYPES] reference request: MLTT with Russell's non-cumulative universes
Sun, 14 Aug 2022 15:25:26 +0000Re: [TYPES] subtyping of mutually recursive algebraic data types
Thu, 14 Jul 2022 20:02:05 +0100Re: [TYPES] subtyping of mutually recursive algebraic data types
Thu, 23 Jun 2022 15:19:59 -0400Re: [TYPES] subtyping of mutually recursive algebraic data types
Thu, 23 Jun 2022 20:27:09 +0100Re: [TYPES] subtyping of mutually recursive algebraic data types
Thu, 23 Jun 2022 16:29:09 +0100[TYPES] Semantics of modes in logic programming?
Fri, 24 Jun 2022 14:26:18 +0100Re: [TYPES] subtyping of mutually recursive algebraic data types
Sun, 19 Jun 2022 16:47:38 +0200Re: [TYPES] subtyping of mutually recursive algebraic data types
Sun, 19 Jun 2022 00:07:15 +0200Re: [TYPES] subtyping of mutually recursive algebraic data types
Sat, 18 Jun 2022 06:41:58 -0600Re: [TYPES] subtyping of mutually recursive algebraic data types
Fri, 17 Jun 2022 12:59:56 -0400[TYPES] subtyping of mutually recursive algebraic data types
Fri, 17 Jun 2022 08:40:32 +0100Re: [TYPES] What is the term after reduction called?
Sun, 12 Jun 2022 20:42:58 +0200Re: [TYPES] What is the term after reduction called?
Thu, 9 Jun 2022 10:19:43 -0700Re: [TYPES] What is the term after reduction called?
Thu, 9 Jun 2022 11:10:21 -0400Re: [TYPES] What is the term after reduction called?
Thu, 9 Jun 2022 17:29:09 +0100Re: [TYPES] What is the term after reduction called?
Sat, 11 Jun 2022 11:09:30 +0200[TYPES] What is the term after reduction called?
Thu, 09 Jun 2022 13:31:33 +0100[TYPES] A Paper: "Type System as Homomorphism between Monoids"
Fri, 27 May 2022 15:20:29 +0800[TYPES] A new dependently typed language: Cicada Language
Fri, 27 May 2022 15:21:33 +0800Re: [TYPES] Writing syntactic models with "full information"
Wed, 25 May 2022 17:09:27 +0100Re: [TYPES] Writing syntactic models with "full information"
Wed, 25 May 2022 13:27:55 +0000Re: [TYPES] Writing syntactic models with "full information"
Wed, 25 May 2022 10:38:18 +0200Re: [TYPES] Writing syntactic models with "full information"
Wed, 25 May 2022 00:07:38 +0000Re: [TYPES] Writing syntactic models with "full information"
Tue, 24 May 2022 17:52:10 +0200Re: [TYPES] Writing syntactic models with "full information"
Mon, 23 May 2022 11:39:01 -0400Re: [TYPES] Writing syntactic models with "full information"
Mon, 23 May 2022 18:17:22 +0200Re: [TYPES] Writing syntactic models with "full information"
Mon, 23 May 2022 10:44:19 +0200Re: [TYPES] Writing syntactic models with "full information"
Sun, 22 May 2022 21:40:54 -0700Re: [TYPES] Writing syntactic models with "full information"
Mon, 23 May 2022 10:02:39 +1000[TYPES] Writing syntactic models with "full information"
Fri, 20 May 2022 21:16:42 -0400Re: [TYPES] [meta] URL rewriting notice
Sat, 14 May 2022 15:48:35 +0200Re: [TYPES] [meta] URL rewriting notice
Thu, 12 May 2022 13:36:15 +0000Re: [TYPES] [meta] URL rewriting notice
Thu, 12 May 2022 11:57:28 +0200Re: [TYPES] [meta] URL rewriting notice
Thu, 12 May 2022 10:42:05 +0200[TYPES] "Type systems for programs respecting dimensions" Re: Types for Units-of-Measure
Sat, 23 Apr 2022 17:57:33 +1000[TYPES] Annotating an AST with (existential) types , with ordered contexts - à la Dunfield Krishnaswami
Sat, 19 Mar 2022 18:40:35 -0500[TYPES] Mendler's paper - Recursive Types and Type Constraints in Second-Order Lambda Calculus
Sun, 20 Mar 2022 03:47:04 +0000Re: [TYPES] ETAPS bars Russian researchers from attending
Fri, 11 Mar 2022 14:27:37 +0100Re: [TYPES] R: ETAPS bars Russian researchers from attending
Fri, 11 Mar 2022 10:28:37 +0100Re: [TYPES] R: ETAPS bars Russian researchers from attending
Fri, 11 Mar 2022 15:56:34 +0900Re: [TYPES] R: ETAPS bars Russian researchers from attending
Thu, 10 Mar 2022 22:20:27 +0200Re: [TYPES] R: ETAPS bars Russian researchers from attending
Thu, 10 Mar 2022 15:20:16 -0600Re: [TYPES] R: ETAPS bars Russian researchers from attending
Thu, 10 Mar 2022 18:47:17 +0000Re: [TYPES] ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 17:28:00 +0100Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 18:17:08 +0000Re: [TYPES] R: ETAPS bars Russian researchers from attending
Wed, 9 Mar 2022 16:30:40 +0000
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.