LtU Forum

 TopicReplies sort iconCreatedLast reply
 "We Really Don't Know How to Compute!" by Gerald Sussman17812 years 22 weeks ago
by puredanger
12 years 19 weeks ago
by Sean McDirmid
 Explaining monads17419 years 37 weeks ago
by Ehud Lamm
15 years 8 weeks ago
by Philippa Cowderoy
 Why do they program in C++?16318 years 49 weeks ago
by David Waern
17 years 6 weeks ago
by Zombywuf
 A refutation of Gödel's first incompleteness theorem1616 years 50 weeks ago
by Enrique Perez Arnaud
6 years 44 weeks ago
by Enrique Perez Arnaud
 Closures for Java or money back15917 years 32 weeks ago
by el-vadimo
17 years 27 weeks ago
by Dave Griffith
 Why are objects so unintuitive?15914 years 51 weeks ago
by Lee Chou
13 years 19 weeks ago
by marco
 Bob Harper of CMU is blogging about programming languages and introductory CS education15613 years 2 weeks ago
by vrijz
11 years 39 weeks ago
by Cyril
 Are Monads a Waste of Time?1546 years 6 weeks ago
by Keean Schupke
6 years 2 weeks ago
by John Shutt
 Long rant on Erlang-style Actors: Lost Dimension15312 years 6 weeks ago
by const
12 years 1 week ago
by const
 How can languages help us in terms of achieving correct program design?1539 years 13 weeks ago
by bryanedds
9 years 8 weeks ago
by Paul Snively
 iPhone PL lockdown15213 years 51 weeks ago
by Sean McDirmid
12 years 14 weeks ago
by skaller
 Most Productive FP Lang?14918 years 28 weeks ago
by David B. Held
18 years 27 weeks ago
by Brandon J Van Every
 Thoughts about the Best Introductory Language14816 years 50 weeks ago
by shlomif
16 years 48 weeks ago
by Derek Elkins
 Non-determinism: a sublanguage rather than a monad1486 years 27 weeks ago
by Greg Buchholz
6 years 22 weeks ago
by Keean Schupke
 1ML — Core and modules united1479 years 3 weeks ago
by Tom Primožič
8 years 20 weeks ago
by Keean Schupke
 Limitations of Prolog-style clausal programs14710 years 16 weeks ago
by Hewitt
10 years 7 weeks ago
by Rys McCusker
 Have tracing JIT compilers won?14514 years 3 weeks ago
by Peter Michaux
8 years 44 weeks ago
by Sean McDirmid
 "Prep" in programming languages1458 years 36 weeks ago
by Hewitt
8 years 35 weeks ago
by Ross Angle
 On the Importance of Purity14216 years 22 weeks ago
by naasking
16 years 17 weeks ago
by Peter Russell
 Most powerful terminating semantics?14214 years 40 weeks ago
by dataangel
14 years 37 weeks ago
by dmbarbour
 First-class environments. Discuss. ;)14214 years 2 weeks ago
by Manuel J. Simoni
13 years 19 weeks ago
by el-vadimo
 On the (Alleged) Value of Proof for Assurance13614 years 2 weeks ago
by shap
7 years 18 weeks ago
by NickP
 The barrier to take-up of language innovation13513 years 24 weeks ago
by ad1mt
13 years 21 weeks ago
by marco
 Rank-0 Intersection Type System1329 years 46 weeks ago
by Keean Schupke
9 years 41 weeks ago
by Keean Schupke
 Abstraction Tiers of Notations1325 years 8 weeks ago
by const
2 years 52 weeks ago
by const
XML feed