| | Future of Programming workshop (lambda-the-ultimate.org) |
|
1 point by wslh on April 10, 2014 | past
|
|
| | When no financial interests are involved programmers choose DECENT languages (lambda-the-ultimate.org) |
|
4 points by riffraff on April 1, 2014 | past
|
|
| | Wirth Symposium (lambda-the-ultimate.org) |
|
1 point by ablaba on March 4, 2014 | past
|
|
| | Have tracing JIT compilers won? (lambda-the-ultimate.org) |
|
2 points by tambourine_man on March 3, 2014 | past
|
|
| | The marriage of bisimulations and Kripke logical relations (lambda-the-ultimate.org) |
|
2 points by avsaro on Jan 29, 2014 | past
|
|
| | And the Academy Award goes to... a literate program (lambda-the-ultimate.org) |
|
3 points by edwintorok on Jan 24, 2014 | past
|
|
| | POPL 2014 proceedings available freely for all (lambda-the-ultimate.org) |
|
1 point by mpweiher on Jan 18, 2014 | past
|
|
| | Multiple Dispatch as Dispatch on Tuples (lambda-the-ultimate.org) |
|
1 point by joeyespo on Jan 9, 2014 | past
|
|
| | A glimpse into a new programming language under development at Microsoft (lambda-the-ultimate.org) |
|
235 points by Garbage on Dec 28, 2013 | past | 224 comments
|
|
| | Gilad Is Right (Confessions From A Recovering Typoholic) (lambda-the-ultimate.org) |
|
3 points by philk10 on Dec 17, 2013 | past
|
|
| | Less is more (lambda-the-ultimate.org) |
|
4 points by atombender on Dec 7, 2013 | past
|
|
| | The origin of zero-based array indexing (lambda-the-ultimate.org) |
|
2 points by joeyespo on Nov 20, 2013 | past
|
|
| | New Dataflow Programming Language (2010) (lambda-the-ultimate.org) |
|
2 points by wslh on Nov 8, 2013 | past
|
|
| | Why prolog is by far the best, most productive, easiest programming language? (lambda-the-ultimate.org) |
|
1 point by ghosthamlet on Nov 4, 2013 | past
|
|
| | Advice on learning about the theoretical study of programming languages (lambda-the-ultimate.org) |
|
1 point by tambourine_man on Sept 24, 2013 | past
|
|
| | Tiny Computer: complete CPU in under two pages of FPGA-ready Verilog (lambda-the-ultimate.org) |
|
6 points by luu on Sept 9, 2013 | past | 2 comments
|
|
| | Dynamic Region Inference (lambda-the-ultimate.org) |
|
2 points by gkuan on Sept 6, 2013 | past
|
|
| | Extensible Effects - An alternative to Monad Transformers (Oleg) (lambda-the-ultimate.org) |
|
3 points by alipang on Sept 6, 2013 | past
|
|
| | Types for Flexible Objects (lambda-the-ultimate.org) |
|
3 points by protomyth on Sept 5, 2013 | past
|
|
| | Going Against the Flow for Typeless Programming (lambda-the-ultimate.org) |
|
2 points by seanmcdirmid on Aug 26, 2013 | past
|
|
| | Why is tail call optimization an issue in GC'd languages? (lambda-the-ultimate.org) |
|
2 points by m0th87 on Aug 2, 2013 | past
|
|
| | Extensible Effects - An Alternative to Monad Transformers (lambda-the-ultimate.org) |
|
1 point by jayferd on July 31, 2013 | past
|
|
| | Mathematics self-proves its own Consistency (contra Gödel et. al.) (lambda-the-ultimate.org) |
|
53 points by nickmain on July 29, 2013 | past | 40 comments
|
|
| | The programming languages behind "the mother of all demos" (lambda-the-ultimate.org) |
|
99 points by nnq on July 5, 2013 | past | 2 comments
|
|
| | When will we all have effect systems? (lambda-the-ultimate.org) |
|
2 points by lauriswtf on July 2, 2013 | past
|
|
| | Constraint-Based Type Inference and Parametric Polymorphism (lambda-the-ultimate.org) |
|
2 points by lauriswtf on July 2, 2013 | past
|
|
| | Heap space analysis for garbage collected languages (lambda-the-ultimate.org) |
|
1 point by qubitsam on June 29, 2013 | past
|
|
| | Parsing: The Solved Problem That Isn't (lambda-the-ultimate.org) |
|
1 point by gnosis on June 6, 2013 | past
|
|
| | Three Laws of Programming Language Design (lambda-the-ultimate.org) |
|
70 points by Garbage on May 31, 2013 | past | 47 comments
|
|
| | Ted Nelson's ZigZag (2004) (lambda-the-ultimate.org) |
|
1 point by networked on May 26, 2013 | past
|
|
|
|
More |
