LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Peak Abstraction261 day 17 min ago
by Sean McDirmid
1 hour 24 min ago
by dmbarbour
 Small is Beautiful: the design of Lua211 year 44 weeks ago
by bashyal
8 hours 31 min ago
by Manuel J. Simoni
 crazy PL idea: prescriptive trait inference842 weeks 3 days ago
by Sean McDirmid
1 day 56 min ago
by Sean McDirmid
 Embedding Prolog in Haskell497 years 28 weeks ago
by Frank Atanassow
1 day 10 hours ago
by Countably Infinite
 Evolution of mainstream programming language paradigms346 days 6 hours ago
by const
1 day 10 hours ago
by Andrew Moss
 Usage of Range Dependencies may not Lead to NP-Complete Problems23 weeks 4 days ago
by Jaroslav Tulach
1 day 21 hours ago
by Jaroslav Tulach
 STEPS 2011 Progress Report (personal computing in 20kLOC)121 week 3 days ago
by Greg Buchholz
3 days 2 hours ago
by dmbarbour
 Syntax Desugaring Algorithm Question91 week 1 day ago
by bryanedds
3 days 10 hours ago
by James Iry
 Language outline of Modern Eiffel (SW Verification)21 week 2 days ago
by hbrandl
3 days 11 hours ago
by hbrandl
 Graphics primitives?242 weeks 1 day ago
by danbst
1 week 16 hours ago
by Bakul Shah
 LastCalc: A web-based REPL for a pure functional programming language with a flexible syntax and parser61 week 2 days ago
by sanity
1 week 1 day ago
by sanity
 Non-deterministic versus parallel function application01 week 3 days ago
by jdgallag
n/a
 Visual Studio Achievements42 weeks 1 day ago
by Manuel J. Simoni
2 weeks 8 hours ago
by dmbarbour
 GoingNative 2012 - C++11 Style, Variadic Templates, Concepts, Static If, Memory Model, STL11, VC11 (and beyond) and Clang02 weeks 5 days ago
by Charles Torre
n/a
 Register Allocation By Model Transformer Semantics -- need for early comments104 weeks 2 days ago
by yinwang0
3 weeks 5 days ago
by yinwang0
 Go's proposed panic/recover exception-like mechanism1121 year 44 weeks ago
by pgregory
4 weeks 4 hours ago
by dmbarbour
 Programmer Archeologists405 weeks 5 days ago
by Sean McDirmid
4 weeks 13 hours ago
by Kay Schluehr
 Designing a languge — what theory is a must?388 weeks 1 day ago
by pgregory
4 weeks 3 days ago
by dmbarbour
 Run Your Research: On the Effectiveness of Mechanization15 weeks 3 days ago
by lmeyerov
5 weeks 1 day ago
by el-vadimo
 Interview [Video] -> Simon Peyton-Jones - Closer to Nirvana137 weeks 1 day ago
by Charles Torre
5 weeks 2 days ago
by johnwcowan
 2 Misconcepts About Functional Programming (relating to context and monad) 178 weeks 2 days ago
by Henry Luo
5 weeks 5 days ago
by gasche
 iPhone PL lockdown1521 year 43 weeks ago
by Sean McDirmid
6 weeks 49 min ago
by skaller
 General purpose as a special case?499 weeks 5 hours ago
by Wendell
6 weeks 6 days ago
by JeffB
 What is this type of type called?97 weeks 1 day ago
by Steven StewartGallus
7 weeks 3 hours ago
by Matt Hellige
 Pathological Problems in Parsing58 weeks 4 days ago
by disnesquick
7 weeks 5 days ago
by judofyr
XML feed