LtU Forum

 TopicReplies sort iconCreatedLast reply
 "We Really Don't Know How to Compute!" by Gerald Sussman1786 years 30 weeks ago
by puredanger
6 years 27 weeks ago
by Sean McDirmid
 Explaining monads17413 years 45 weeks ago
by Ehud Lamm
9 years 17 weeks ago
by Philippa Cowderoy
 Why do they program in C++?16313 years 5 weeks ago
by David Waern
11 years 14 weeks ago
by Zombywuf
 A refutation of Gödel's first incompleteness theorem1611 year 6 weeks ago
by Enrique Perez Arnaud
1 year 2 days ago
by Enrique Perez Arnaud
 Why are objects so unintuitive?1599 years 7 weeks ago
by Lee Chou
7 years 27 weeks ago
by marco
 Closures for Java or money back15911 years 40 weeks ago
by el-vadimo
11 years 35 weeks ago
by Dave Griffith
 Bob Harper of CMU is blogging about programming languages and introductory CS education1567 years 10 weeks ago
by vrijz
5 years 47 weeks ago
by Cyril
 Are Monads a Waste of Time?15414 weeks 1 day ago
by Keean Schupke
10 weeks 3 days ago
by John Shutt
 Long rant on Erlang-style Actors: Lost Dimension1536 years 14 weeks ago
by const
6 years 9 weeks ago
by const
 How can languages help us in terms of achieving correct program design?1533 years 21 weeks ago
by bryanedds
3 years 16 weeks ago
by Paul Snively
 iPhone PL lockdown1528 years 7 weeks ago
by Sean McDirmid
6 years 22 weeks ago
by skaller
 Most Productive FP Lang?14912 years 36 weeks ago
by David B. Held
12 years 35 weeks ago
by Brandon J Van Every
 Non-determinism: a sublanguage rather than a monad14835 weeks 4 days ago
by Greg Buchholz
30 weeks 1 day ago
by Keean Schupke
 Thoughts about the Best Introductory Language14811 years 6 weeks ago
by shlomif
11 years 4 weeks ago
by Derek Elkins
 1ML — Core and modules united1473 years 11 weeks ago
by Tom Primožič
2 years 28 weeks ago
by Keean Schupke
 Limitations of Prolog-style clausal programs1474 years 24 weeks ago
by Hewitt
4 years 15 weeks ago
by Rys McCusker
 Have tracing JIT compilers won?1458 years 11 weeks ago
by Peter Michaux
3 years 2 days ago
by Sean McDirmid
 "Prep" in programming languages1452 years 44 weeks ago
by Hewitt
2 years 43 weeks ago
by Ross Angle
 On the Importance of Purity14210 years 31 weeks ago
by naasking
10 years 25 weeks ago
by Peter Russell
 Most powerful terminating semantics?1428 years 48 weeks ago
by dataangel
8 years 45 weeks ago
by dmbarbour
 First-class environments. Discuss. ;)1428 years 10 weeks ago
by Manuel J. Simoni
7 years 27 weeks ago
by el-vadimo
 On the (Alleged) Value of Proof for Assurance1368 years 10 weeks ago
by shap
1 year 26 weeks ago
by NickP
 The barrier to take-up of language innovation1357 years 32 weeks ago
by ad1mt
7 years 29 weeks ago
by marco
 Rank-0 Intersection Type System1324 years 2 weeks ago
by Keean Schupke
3 years 49 weeks ago
by Keean Schupke
 Null, bottom, etc.?1315 years 49 weeks ago
by oconnor0
5 years 48 weeks ago
by Cyril
XML feed