| | Lambda the Ultimate is now dead (lambda-the-ultimate.org) |
|
5 points by davidespinosa 4 months ago | past | 1 comment
|
|
| | The Verse Calculus: A Core Calculus for Functional Logic Programming (lambda-the-ultimate.org) |
|
4 points by smitty1e on Dec 12, 2022 | past
|
|
| | A Manufacturer's Perspective on PL Progress (lambda-the-ultimate.org) |
|
1 point by discreteevent on Sept 30, 2022 | past
|
|
| | Graydon Hoare: 21 compilers and 3 orders of magnitude in 60 minutes (lambda-the-ultimate.org) |
|
205 points by eternalban on Sept 9, 2022 | past | 50 comments
|
|
| | Lambda the Ultimate is now running in a new, more stable environment (lambda-the-ultimate.org) |
|
249 points by ingve on Aug 31, 2022 | past | 73 comments
|
|
| | Latent Effects for Reusable Language Components (lambda-the-ultimate.org) |
|
2 points by mindcrime on Oct 14, 2021 | past
|
|
| | What will programming look like in 2020? (2012) (lambda-the-ultimate.org) |
|
139 points by slbtty on Sept 25, 2021 | past | 146 comments
|
|
| | [dupe] Coq Will Be Renamed (lambda-the-ultimate.org) |
|
45 points by tmfi on April 8, 2021 | past | 1 comment
|
|
| | Lambda the Ultimate Is Down Session Table Full (lambda-the-ultimate.org) |
|
4 points by DanielBryars on Feb 17, 2021 | past | 3 comments
|
|
| | Google Brain's Jax and Flax (lambda-the-ultimate.org) |
|
1 point by mindcrime on Feb 14, 2021 | past | 1 comment
|
|
| | Delimited Continuations as Exceptions (lambda-the-ultimate.org) |
|
2 points by omginternets on Jan 3, 2021 | past
|
|
| | Tackling the Awkward Squad for Reactive Programming (lambda-the-ultimate.org) |
|
1 point by eitland on Nov 10, 2020 | past
|
|
| | Tackling the Awkward Squad for Reactive Programming (lambda-the-ultimate.org) |
|
3 points by mpweiher on Sept 21, 2020 | past | 1 comment
|
|
| | No widely adopted progress in language design for 50 years? (lambda-the-ultimate.org) |
|
3 points by miltondts on Sept 5, 2020 | past
|
|
| | The Simple Essence of Algebraic Subtyping: Principal Type Inference (lambda-the-ultimate.org) |
|
4 points by mindcrime on Aug 12, 2020 | past | 1 comment
|
|
| | Why is there no widely accepted progress for 50 years? (lambda-the-ultimate.org) |
|
2 points by mpweiher on July 31, 2020 | past | 1 comment
|
|
| | Turnstile+: Dependent Type Systems as Macros (lambda-the-ultimate.org) |
|
1 point by Kinrany on July 12, 2020 | past
|
|
| | Modularizing SQL? (2007) (lambda-the-ultimate.org) |
|
50 points by Kinrany on June 17, 2020 | past | 63 comments
|
|
| | Turnstile+: Dependent Type Systems as Macros (lambda-the-ultimate.org) |
|
3 points by chalst on Feb 14, 2020 | past
|
|
| | Histogram: You have to know the past to understand the present (lambda-the-ultimate.org) |
|
1 point by yori on Dec 12, 2019 | past
|
|
| | Making a one-pass compiler by generating fexprs that generate code (lambda-the-ultimate.org) |
|
3 points by goranmoomin on Dec 10, 2019 | past
|
|
| | Immediate Mode GUIs (lambda-the-ultimate.org) |
|
2 points by goranmoomin on Nov 10, 2019 | past
|
|
| | Histogram- You have to know the past to understand the present (lambda-the-ultimate.org) |
|
2 points by joeyespo on Sept 29, 2019 | past
|
|
| | “Three Things I Wish I Knew When I Started Designing Languages” (lambda-the-ultimate.org) |
|
1 point by tosh on Aug 27, 2019 | past
|
|
| | Applied Category Theory – The Emerging Science of Compositionality (lambda-the-ultimate.org) |
|
1 point by joker3 on Aug 5, 2019 | past
|
|
| | Seven Sketches in Compositionality: An Invitation to Applied Category Theory (lambda-the-ultimate.org) |
|
7 points by chmaynard on April 28, 2019 | past
|
|
| | Abstraction Tiers of Notation (lambda-the-ultimate.org) |
|
2 points by Kinrany on Feb 5, 2019 | past
|
|
| | Why type systems are interesting? (lambda-the-ultimate.org) |
|
1 point by rahulrrixe on Jan 25, 2019 | past
|
|
| | Functional Design Patterns – Relating Haskell Typeclasses to Design Patterns (lambda-the-ultimate.org) |
|
3 points by ghosthamlet on Dec 14, 2018 | past
|
|
| | Derivatives of Regular Expressions (2007) (lambda-the-ultimate.org) |
|
147 points by tosh on Nov 11, 2018 | past | 49 comments
|
|
|
|
More |
