LtU Forum

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