Topics:
- a blog: "The Updated Scholar" (1 message, latest: Mar 28 2024 at 21:37)
- Best practices for performance benchmarking? (6 messages, latest: Feb 16 2024 at 14:05)
- Feedback on POPL'24? (12 messages, latest: Jan 24 2024 at 09:36)
- Strong normalization in locally nameless syntax (11 messages, latest: Dec 24 2023 at 18:38)
- ✔ Church encoding in dual affine linear logic (5 messages, latest: Dec 20 2023 at 16:16)
- Church encoding in dual affine linear logic (7 messages, latest: Dec 16 2023 at 09:05)
- Church encoding in linear logic (3 messages, latest: Dec 14 2023 at 09:43)
- Destination passing style citation? (5 messages, latest: Dec 02 2023 at 23:32)
- Fresh identifiers and loop-invariant typing (7 messages, latest: Oct 25 2023 at 09:11)
- garbage collector thought experiments (12 messages, latest: Oct 02 2023 at 16:06)
- feedback on ICFP'23? (8 messages, latest: Sep 22 2023 at 12:09)
- [terminology] A name for equivalence classes of programs? (7 messages, latest: Jun 09 2023 at 13:47)
- Categorical semantics for pattern matching? (11 messages, latest: Jun 08 2023 at 05:47)
- Why pick operational over denotational semantics? (14 messages, latest: Apr 25 2023 at 18:00)
- Carbon-friendly summer schools? (98 messages, latest: Apr 12 2023 at 00:37)
- Curry-Howard for Delimited Control? (8 messages, latest: Mar 09 2023 at 18:15)
- Emptiness of the bottom predicative universe (2 messages, latest: Feb 20 2023 at 08:48)
- Effect handlers for prefetching (13 messages, latest: Feb 16 2023 at 10:54)
- Observational Type Theory (10 messages, latest: Jan 25 2023 at 16:06)
- Powerdomains (14 messages, latest: Jan 12 2023 at 13:58)
- Who is coming to POPL? (5 messages, latest: Jan 11 2023 at 18:28)
- Ad Hoc Polymorphism (26 messages, latest: Dec 12 2022 at 09:13)
- POPL '23: online option (7 messages, latest: Dec 02 2022 at 20:54)
- How to POPL this year? (24 messages, latest: Nov 28 2022 at 13:21)
- Implementing predicative types (4 messages, latest: Nov 12 2022 at 06:27)
- Plotkin 1995 Notes (5 messages, latest: Nov 09 2022 at 07:05)
- Golden age of PL (18 messages, latest: Sep 20 2022 at 04:52)
- PLDI to PACMPL? (12 messages, latest: Aug 10 2022 at 06:04)
- Q About Guarded Recursion (9 messages, latest: Jul 18 2022 at 15:47)
- new streams (7 messages, latest: Jun 13 2022 at 14:55)
- stream events (1 message, latest: May 19 2022 at 06:34)
- [Newbie] [History] Type of assembly languages (11 messages, latest: May 02 2022 at 10:42)
- HM + value restriction and nested forall (6 messages, latest: May 01 2022 at 19:41)
- The meaning of a formalization in type theory (3 messages, latest: Apr 25 2022 at 13:39)
- Additive falsehood in a monoidal closed category (5 messages, latest: Mar 22 2022 at 19:00)
- ETAPS 2022 bans researchers working in Russia (18 messages, latest: Mar 11 2022 at 20:43)
- Simple Comparison of Natural Deduction and Sequent Calculus (43 messages, latest: Mar 11 2022 at 20:37)
- Focusing/polarised syntax design choices (23 messages, latest: Mar 08 2022 at 16:52)
- The user experience of writing proofs (8 messages, latest: Feb 18 2022 at 00:19)
- WITS: feedback needed (1 message, latest: Feb 02 2022 at 16:03)
- StackExchange site on Proof Assistants proposed (5 messages, latest: Jan 31 2022 at 18:10)
- Programming language wikis (36 messages, latest: Jan 28 2022 at 11:44)
- Complexity of focusing a cut-free LK proof? (13 messages, latest: Dec 21 2021 at 13:06)
- Dhall senior project (11 messages, latest: Nov 28 2021 at 19:00)
- Newbie question: Encoding cosets in Agda (8 messages, latest: Nov 22 2021 at 23:20)
- Sequent Calculus and Full-Spectrum Dependent Types (6 messages, latest: Nov 09 2021 at 22:43)
- Overview of binding approaches (in Agda) (4 messages, latest: Nov 08 2021 at 14:01)
- Conference/seminar videos (16 messages, latest: Oct 31 2021 at 15:31)
- Nota: web-based paper typesetting (2 messages, latest: Sep 29 2021 at 07:05)
- formalized textbooks on type theory (3 messages, latest: Sep 28 2021 at 01:28)
- Types and Programming Languages (14 messages, latest: Sep 20 2021 at 15:55)
- meta-tracing in academia? (4 messages, latest: Sep 13 2021 at 10:51)
- ICFP platform (23 messages, latest: Sep 01 2021 at 02:22)
- Resources on extensible variants (8 messages, latest: Aug 30 2021 at 01:45)
- Caching free variables (14 messages, latest: Aug 26 2021 at 14:51)
- reference for "direct-style"? (3 messages, latest: Aug 26 2021 at 09:14)
- Polarised L/nL (11 messages, latest: Aug 26 2021 at 08:58)
- Elementary View of Eliminators vs. Pattern Matching (9 messages, latest: Aug 15 2021 at 02:05)
- Tips for self-study from PFPL (4 messages, latest: Aug 14 2021 at 07:51)
- Impredicative Set and large elimination (11 messages, latest: Aug 01 2021 at 19:12)
- Notation Question: “Flipped” Data Declarations (17 messages, latest: Jul 30 2021 at 08:15)
- LL_pol clarification (6 messages, latest: Jul 25 2021 at 20:08)
- Resources for Self-Directed Study of Types & Friends (4 messages, latest: Jul 18 2021 at 18:27)
- Why nameless/context based syntax for categorical semantics? (6 messages, latest: Jun 26 2021 at 19:15)
- affine, non-reordering equations (7 messages, latest: Jun 26 2021 at 19:08)
- Cool recent arxiv papers (23 messages, latest: Jun 25 2021 at 09:49)
- Standard syntactic model for bicartesian closed categories? (1 message, latest: Jun 17 2021 at 16:08)
- Tail recursion (10 messages, latest: Jun 13 2021 at 19:37)
- Combining AFL-style fuzzing with Quickcheck-style propert... (11 messages, latest: Jun 07 2021 at 08:44)
- JOSS, the Journal of Open Source Software (5 messages, latest: Jun 03 2021 at 19:56)
- Renamings vs thinnings (6 messages, latest: May 31 2021 at 22:32)
- ressources for ressource types (18 messages, latest: May 31 2021 at 17:22)
- "Types in Sets"-type results by categorical methods? (6 messages, latest: May 25 2021 at 14:22)
- POPL'21 videos (4 messages, latest: May 07 2021 at 07:01)
- Typed holes for shrinking (11 messages, latest: May 06 2021 at 13:01)
- Monads vs. Continuations vs. Effect Handlers (5 messages, latest: May 05 2021 at 23:18)
- Bug reports for Software Foundations (6 messages, latest: May 05 2021 at 21:14)
- Shortest lambda term for parity function N->N (5 messages, latest: May 05 2021 at 14:31)
- POPL'21 (1 message, latest: May 03 2021 at 07:52)
- Linearity, Uniqueness, & Symmetric Calculi (4 messages, latest: Apr 29 2021 at 10:59)
- Limits of Automatic Proof Derivation (11 messages, latest: Apr 21 2021 at 16:07)
- Understanding Data & Codata (17 messages, latest: Apr 20 2021 at 17:14)
- Thoughts on Functional “Purity” (12 messages, latest: Apr 16 2021 at 22:43)
- Type-theoretic presentation of the Mitchell-Benabou language (9 messages, latest: Apr 14 2021 at 16:19)
- General Constraint Solving as a Language Feature (58 messages, latest: Apr 14 2021 at 07:39)
- Theory Combinators, Ornaments, and Structural Polymorphism (17 messages, latest: Apr 13 2021 at 01:46)
- Seeking a “Nice” Foundation for Recursive Types (9 messages, latest: Apr 12 2021 at 13:06)
- circular proofs / subtyping (7 messages, latest: Apr 08 2021 at 18:47)
- Lambda term for self-map of the universe (7 messages, latest: Apr 05 2021 at 15:43)
- Teaching "Types and FP" like it's 2021 (8 messages, latest: Apr 02 2021 at 15:17)
- Explicitly Typed Row Calculi (2 messages, latest: Apr 01 2021 at 02:12)
- Eta rule for dependent Sigma (10 messages, latest: Mar 31 2021 at 18:24)
- Parallel reduction/commutativity (5 messages, latest: Mar 31 2021 at 15:05)
- Organizing scientific events (3 messages, latest: Mar 29 2021 at 09:44)
- Truncated W-types (1 message, latest: Mar 28 2021 at 15:39)
- Is the dependent eliminator for the empty type important? (4 messages, latest: Mar 28 2021 at 15:04)
- Dealing with names (100 messages, latest: Mar 27 2021 at 14:19)
- afternoon-somewhere discussion of various recent works (21 messages, latest: Mar 26 2021 at 22:46)
- Data and Codata in Programming (15 messages, latest: Mar 24 2021 at 23:58)
- Unequal normal closed terms of negation (16 messages, latest: Mar 24 2021 at 20:47)
- Modules (4 messages, latest: Mar 24 2021 at 19:38)
- getting started with [structural] proof theory (8 messages, latest: Mar 24 2021 at 16:15)
- Sum Types (13 messages, latest: Mar 24 2021 at 00:33)
- work equipment (24 messages, latest: Mar 23 2021 at 13:42)
- What Are Qualified Types? (5 messages, latest: Mar 21 2021 at 00:42)
- What is a type? (42 messages, latest: Mar 19 2021 at 19:40)
- post-covid conferences (2 messages, latest: Mar 16 2021 at 21:55)
- Beyond the pattern fragment (13 messages, latest: Mar 06 2021 at 16:01)
- PL Boffins Slack (1 message, latest: Mar 05 2021 at 06:14)
- Hello types (1 message, latest: Mar 05 2021 at 06:13)
- icon? (1 message, latest: Mar 05 2021 at 06:13)
- ¬Café (1 message, latest: Mar 05 2021 at 06:13)
- swimming turtles (1 message, latest: Feb 26 2021 at 17:55)
- topic demonstration (2 messages, latest: Feb 26 2021 at 17:55)
Last updated: Apr 18 2024 at 09:01 UTC