type | title | author | last post  |
Forum topic | "Inconsistency Robustness" now available | Hewitt | 2015-08-17 21:21 |
Story | Running Probabilistic Programs Backwards | gasche | 2015-08-05 10:38 |
Story | Self-Representation in Girard’s System U | naasking | 2015-06-18 22:53 |
Forum topic | general patterns in PL persistence schemes? | Rys McCusker | 2015-02-24 02:23 |
Forum topic | How can languages help us in terms of achieving correct program design? | bryanedds | 2015-02-02 17:56 |
Story | Morrow & First-class Labels | Frank Atanassow | 2014-12-28 20:26 |
Forum topic | Concatenative Language Kont | Chris | 2014-10-22 09:15 |
Forum topic | Jonathan Blow's next foray into game language design | jdougan | 2014-10-21 20:35 |
Story | Open thread: RIP Steve Jobs | Ehud Lamm | 2014-10-05 00:19 |
Story | seL4: Formal Verification of an Operating-System Kernel | James Iry | 2014-07-29 07:19 |
Story | Deca, an LtU-friendly bare metal systems programming language | Anton van Straaten | 2014-04-23 16:10 |
Story | Gilad Is Right | Erik Meijer | 2014-03-23 13:38 |
Story | History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future | Ehud Lamm | 2013-07-28 20:42 |
Forum topic | Cost of provably-correct code | Ehud Lamm | 2013-07-06 19:56 |
Story | the gnu extension language | Manuel J. Simoni | 2013-06-28 14:23 |
Forum topic | LALR grammar of C++ | chinu | 2013-06-17 18:49 |
Story | Foundations of Inference | Paul Snively | 2013-05-21 03:54 |
Story | Rule 110 in HTML5 + CSS3 | Z-Bo | 2013-04-09 08:23 |
Story | How OCaml type checker works -- or what polymorphism and garbage collection have in common | Paul Snively | 2013-03-10 16:42 |
Story | Oleg: An argument against call/cc | bashyal | 2012-09-13 17:06 |
Forum topic | Why prolog is by far the best, most productive, easiest programming language | marshallp | 2012-08-23 03:24 |
Story | The YNot Project | Paul Snively | 2012-08-17 23:32 |
Forum topic | 10 Years of Purely Functional Data Structures | Chris Okasaki | 2012-08-04 01:52 |
Story | Mechanized λ<sub>JS</sub> | Paul Snively | 2012-07-25 13:37 |
Story | How to Make Ad Hoc Proof Automation Less Ad Hoc | Paul Snively | 2012-07-24 00:43 |
|
Recent comments
1 week 3 days ago
41 weeks 5 days ago
41 weeks 5 days ago
41 weeks 5 days ago
1 year 11 weeks ago
1 year 16 weeks ago
1 year 17 weeks ago
1 year 17 weeks ago
1 year 20 weeks ago
1 year 25 weeks ago