LtU Forum

 TopicReplies sort iconCreatedLast reply
 "We Really Don't Know How to Compute!" by Gerald Sussman1786 years 3 weeks ago
by puredanger
6 years 2 days ago
by Sean McDirmid
 Explaining monads17413 years 18 weeks ago
by Ehud Lamm
8 years 42 weeks ago
by Philippa Cowderoy
 Why do they program in C++?16312 years 30 weeks ago
by David Waern
10 years 39 weeks ago
by Zombywuf
 A refutation of Gödel's first incompleteness theorem16131 weeks 2 days ago
by Enrique Perez Arnaud
25 weeks 3 days ago
by Enrique Perez Arnaud
 Why are objects so unintuitive?1598 years 32 weeks ago
by Lee Chou
7 years 2 days ago
by marco
 Closures for Java or money back15911 years 13 weeks ago
by el-vadimo
11 years 8 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 20 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 46 weeks ago
by bryanedds
2 years 41 weeks ago
by Paul Snively
 iPhone PL lockdown1527 years 32 weeks ago
by Sean McDirmid
5 years 47 weeks ago
by skaller
 Most Productive FP Lang?14912 years 9 weeks ago
by David B. Held
12 years 8 weeks ago
by Brandon J Van Every
 Thoughts about the Best Introductory Language14810 years 32 weeks ago
by shlomif
10 years 29 weeks ago
by Derek Elkins
 Non-determinism: a sublanguage rather than a monad1488 weeks 4 days ago
by Greg Buchholz
3 weeks 2 days ago
by Keean Schupke
 1ML — Core and modules united1472 years 36 weeks ago
by Tom Primožič
2 years 1 week ago
by Keean Schupke
 Limitations of Prolog-style clausal programs1473 years 50 weeks ago
by Hewitt
3 years 40 weeks ago
by Rys McCusker
 Have tracing JIT compilers won?1457 years 36 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 16 weeks ago
by Ross Angle
 Most powerful terminating semantics?1428 years 21 weeks ago
by dataangel
8 years 18 weeks ago
by dmbarbour
 On the Importance of Purity14210 years 4 weeks ago
by naasking
9 years 50 weeks ago
by Peter Russell
 First-class environments. Discuss. ;)1427 years 35 weeks ago
by Manuel J. Simoni
7 years 4 days ago
by el-vadimo
 On the (Alleged) Value of Proof for Assurance1367 years 35 weeks ago
by shap
51 weeks 4 days ago
by NickP
 The barrier to take-up of language innovation1357 years 5 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 22 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