LtU Forum

 TopicReplies sort iconCreatedLast reply
 "We Really Don't Know How to Compute!" by Gerald Sussman1786 years 4 weeks ago
by puredanger
6 years 5 days ago
by Sean McDirmid
 Explaining monads17413 years 19 weeks ago
by Ehud Lamm
8 years 42 weeks ago
by Philippa Cowderoy
 Why do they program in C++?16312 years 31 weeks ago
by David Waern
10 years 40 weeks ago
by Zombywuf
 A refutation of Gödel's first incompleteness theorem16131 weeks 5 days ago
by Enrique Perez Arnaud
25 weeks 6 days ago
by Enrique Perez Arnaud
 Why are objects so unintuitive?1598 years 32 weeks ago
by Lee Chou
7 years 5 days ago
by marco
 Closures for Java or money back15911 years 14 weeks ago
by el-vadimo
11 years 9 weeks ago
by Dave Griffith
 Bob Harper of CMU is blogging about programming languages and introductory CS education1566 years 35 weeks ago
by vrijz
5 years 21 weeks ago
by Cyril
 Long rant on Erlang-style Actors: Lost Dimension1535 years 39 weeks ago
by const
5 years 35 weeks ago
by const
 How can languages help us in terms of achieving correct program design?1532 years 47 weeks ago
by bryanedds
2 years 42 weeks ago
by Paul Snively
 iPhone PL lockdown1527 years 32 weeks ago
by Sean McDirmid
5 years 48 weeks ago
by skaller
 Most Productive FP Lang?14912 years 10 weeks ago
by David B. Held
12 years 8 weeks ago
by Brandon J Van Every
 Non-determinism: a sublanguage rather than a monad1489 weeks 18 hours ago
by Greg Buchholz
3 weeks 5 days ago
by Keean Schupke
 Thoughts about the Best Introductory Language14810 years 32 weeks ago
by shlomif
10 years 29 weeks ago
by Derek Elkins
 Limitations of Prolog-style clausal programs1473 years 50 weeks ago
by Hewitt
3 years 40 weeks ago
by Rys McCusker
 1ML — Core and modules united1472 years 36 weeks ago
by Tom Primožič
2 years 2 weeks ago
by Keean Schupke
 Have tracing JIT compilers won?1457 years 37 weeks ago
by Peter Michaux
2 years 25 weeks ago
by Sean McDirmid
 "Prep" in programming languages1452 years 17 weeks ago
by Hewitt
2 years 17 weeks ago
by Ross Angle
 First-class environments. Discuss. ;)1427 years 35 weeks ago
by Manuel J. Simoni
7 years 1 week ago
by el-vadimo
 On the Importance of Purity14210 years 4 weeks ago
by naasking
9 years 51 weeks ago
by Peter Russell
 Most powerful terminating semantics?1428 years 21 weeks ago
by dataangel
8 years 18 weeks ago
by dmbarbour
 On the (Alleged) Value of Proof for Assurance1367 years 36 weeks ago
by shap
52 weeks 15 hours ago
by NickP
 The barrier to take-up of language innovation1357 years 6 weeks ago
by ad1mt
7 years 2 weeks ago
by marco
 Rank-0 Intersection Type System1323 years 28 weeks ago
by Keean Schupke
3 years 23 weeks ago
by Keean Schupke
 Null, bottom, etc.?1315 years 22 weeks ago
by oconnor0
5 years 21 weeks ago
by Cyril
 Formalization and programming language design -- explained to all1291 year 41 weeks ago
by gasche
1 year 33 weeks ago
by Keean Schupke
XML feed