LtU Forum

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