| | The AST Typing Problem (lambda-the-ultimate.org) |
|
3 points by jasim on Oct 4, 2018 | past
|
|
| | How to decrease bugs in the code (lambda-the-ultimate.org) |
|
1 point by homarp on Sept 24, 2018 | past
|
|
| | On compositionality (lambda-the-ultimate.org) |
|
1 point by mpweiher on Sept 8, 2018 | past
|
|
| | On compositionality (lambda-the-ultimate.org) |
|
3 points by joeyespo on Sept 7, 2018 | past
|
|
| | History of Lisp (1979) (lambda-the-ultimate.org) |
|
4 points by cnahr on Aug 26, 2018 | past
|
|
| | History of Lisp (lambda-the-ultimate.org) |
|
3 points by matt_d on Aug 25, 2018 | past
|
|
| | Do Be Do Be Do (lambda-the-ultimate.org) |
|
1 point by tosh on Aug 12, 2018 | past
|
|
| | Interactive scientific computing; of pythonic parts and goldilocks languages (lambda-the-ultimate.org) |
|
1 point by tosh on July 30, 2018 | past
|
|
| | Safe Dynamic Memory Management in Ada and SPARK (lambda-the-ultimate.org) |
|
4 points by mpweiher on July 26, 2018 | past
|
|
| | Are “jets” a good idea? (2017) (lambda-the-ultimate.org) |
|
97 points by networked on July 17, 2018 | past | 75 comments
|
|
| | Process Algebras: Whats the point? (2007) (lambda-the-ultimate.org) |
|
2 points by alex_hirner on July 13, 2018 | past
|
|
| | The Left Hand of Equals (lambda-the-ultimate.org) |
|
72 points by Ice_cream_suit on June 10, 2018 | past | 27 comments
|
|
| | Type Bombs (lambda-the-ultimate.org) |
|
2 points by lkurusa on May 13, 2018 | past
|
|
| | Sequent Calculus as a Compiler Intermediate Language (lambda-the-ultimate.org) |
|
3 points by mpweiher on April 6, 2018 | past
|
|
| | Resource Polymorphism (lambda-the-ultimate.org) |
|
1 point by mpweiher on March 8, 2018 | past
|
|
| | Are Monads a Waste of Time? (lambda-the-ultimate.org) |
|
177 points by YouAreGreat on Feb 20, 2018 | past | 270 comments
|
|
| | Lambda the Ultimate | Programming Languages Weblog (lambda-the-ultimate.org) |
|
2 points by TheAsprngHacker on Nov 18, 2017 | past
|
|
| | “8th” – a gentle introduction to a modern Forth (lambda-the-ultimate.org) |
|
3 points by amock on Oct 2, 2017 | past | 2 comments
|
|
| | [dupe] Graydon Hoare: What next for compiled languages? (lambda-the-ultimate.org) |
|
62 points by mpweiher on Aug 20, 2017 | past | 5 comments
|
|
| | Happy Birthday, dear Lambda: 17 is good edition (lambda-the-ultimate.org) |
|
53 points by igravious on Aug 16, 2017 | past
|
|
| | Implementing Algebraic Effects in C (lambda-the-ultimate.org) |
|
1 point by mpweiher on Aug 2, 2017 | past
|
|
| | Happy Birthday, dear Lambda: 17 is good edition (lambda-the-ultimate.org) |
|
2 points by eternalban on Aug 1, 2017 | past
|
|
| | Happy Birthday, dear Lambda: 17 is good edition (lambda-the-ultimate.org) |
|
2 points by protomyth on July 28, 2017 | past
|
|
| | Project Snowflake: Non-blocking safe manual memory management in .NET (lambda-the-ultimate.org) |
|
1 point by mpweiher on July 27, 2017 | past
|
|
| | LtU discussion of Ethereum, 2014-2017 (lambda-the-ultimate.org) |
|
2 points by chalst on July 26, 2017 | past
|
|
| | Hobbes – A language and an embedded JIT compiler (lambda-the-ultimate.org) |
|
152 points by ah- on July 16, 2017 | past | 49 comments
|
|
| | [dupe] Hobbes, Morgan Stanley OSS Programming Language (lambda-the-ultimate.org) |
|
68 points by EvgeniyZh on July 16, 2017 | past | 2 comments
|
|
| | Imperative Functional Programs That Explain Their Work (lambda-the-ultimate.org) |
|
105 points by mpweiher on May 26, 2017 | past | 7 comments
|
|
| | Imperative Functional Programs That Explain Their Work (lambda-the-ultimate.org) |
|
13 points by mpweiher on May 25, 2017 | past
|
|
| | Databases from finite categories (lambda-the-ultimate.org) |
|
76 points by mpweiher on May 25, 2017 | past | 10 comments
|
|
|
|
More |
