LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Let's kick continuations around for a while...536 days 5 hours ago
by Ray Dillinger
27 min 30 sec ago
by Thomas Lord
 Function Readability & Understandability263 days 2 hours ago
by Keean Schupke
8 hours 57 min ago
by Keean Schupke
 Snakes all the way down23 days 15 hours ago
by raould
2 days 8 hours ago
by raould
 You got your Monads in my FOP/AOP.03 days 16 hours ago
by raould
n/a
 Language combining relational algebra and domain algebra91 week 4 days ago
by davidb
6 days 2 hours ago
by Keean Schupke
 managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps1215 weeks 3 days ago
by Rys McCusker
6 days 6 hours ago
by Rys McCusker
 Wrangling C via Static Checks06 days 20 hours ago
by raould
n/a
 Ivory EDSL in Haskell for Embedded Control06 days 21 hours ago
by raould
n/a
 Integrating Dependent and Linear Types71 week 6 days ago
by raould
1 week 1 day ago
by Ross Angle
 SML# targets LLVM21 week 5 days ago
by raould
1 week 3 days ago
by gasche
 Future of Programming Videos, final program262 weeks 3 days ago
by Sean McDirmid
1 week 3 days ago
by Sean McDirmid
 Database programming language review1415 weeks 1 day ago
by davidb
1 week 3 days ago
by davidb
 Intuitionistic Programming Language11 week 5 days ago
by raould
1 week 5 days ago
by raould
 Why do we need modules at all?2466 weeks 4 days ago
by Sean McDirmid
2 weeks 2 days ago
by dmbarbour
 Chocolate & Peanut-butter: Google Blockly & Behavior Threads02 weeks 2 days ago
by raould
n/a
 Antha programming system for Bioinformatics02 weeks 3 days ago
by raould
n/a
 Implementing fast interpreters216 years 24 weeks ago
by vieiro
2 weeks 4 days ago
by Tom Primožič
 Looking for a good online forum on compiler design and implementation8635 weeks 3 days ago
by Talin
2 weeks 4 days ago
by mamcx
 Whither compositionality: Declarative vs. imperative?02 weeks 6 days ago
by raould
n/a
 Code Completion for Generic Programming664 weeks 6 days ago
by Keean Schupke
3 weeks 6 days ago
by Keean Schupke
 CFP: International Conference on Live Coding 04 weeks 6 days ago
by yaxu
n/a
 Impact of static type systems on productivity of actual programmers: first experiment I've seen documented.295 weeks 6 days ago
by Ray Dillinger
4 weeks 6 days ago
by Sean McDirmid
 Lisps are fun15 weeks 2 days ago
by raould
5 weeks 2 days ago
by simon.stapleton
 Whither Flow Analysis?378 weeks 2 days ago
by raould
5 weeks 3 days ago
by neelk
 A duality between exceptions and states - Dumas, Duval, Fousse, Reynaud745 weeks 1 day ago
by chrisoliver
5 weeks 6 days ago
by chrisoliver
XML feed