LtU Forum

 TopicRepliesCreated sort iconLast reply
 Are "jets" a good idea?302 weeks 1 day ago
by xkapastel
1 week 13 hours ago
by dmbarbour
 Help with Herbelin106 weeks 3 days ago
by jimdesu
6 weeks 20 hours ago
by jimdesu
 Project Loom: adding fibers and continuations to Java107 weeks 3 days ago
by Rys McCusker
3 weeks 2 days ago
by Rys McCusker
 Non-determinism: a sublanguage rather than a monad1488 weeks 2 days ago
by Greg Buchholz
3 weeks 11 hours ago
by Keean Schupke
 A Framework for Gradual Memory Management09 weeks 1 day ago
by jondgoodwin
n/a
 Programming language Theme-D09 weeks 2 days ago
by tohoyn
n/a
 The Platonic Solids of Software Construction and Their Realization in C489 weeks 4 days ago
by bryanedds
7 weeks 1 day ago
by e
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon09 weeks 6 days ago
by paulboca
n/a
 SK in Prolog510 weeks 1 day ago
by marco
9 weeks 6 days ago
by Keean Schupke
 Advancement in TDFA and POSIX submatch extraction011 weeks 6 days ago
by Ulya Trofimovich
n/a
 Language features for tracing JIT?1213 weeks 2 days ago
by Luke Gorrie
12 weeks 5 days ago
by HeikoWengler
 Something I forgot9413 weeks 4 days ago
by marco
12 weeks 12 hours ago
by Keean Schupke
 New simple proof system313 weeks 6 days ago
by Edwin Zacharias
13 weeks 5 days ago
by marco
 NOOL 2017014 weeks 1 day ago
by Roly Perera
n/a
 Type system based on epistemic modal logic?414 weeks 2 days ago
by Jon Purdy
9 weeks 4 days ago
by Jon Purdy
 The question of the possibility of a simple formal foundation to the natural languages.7515 weeks 2 days ago
by Enrique Perez Arnaud
13 weeks 3 days ago
by Enrique Perez Arnaud
 Question: do you have to climb the tower of interpreters?516 weeks 3 days ago
by artemonster
16 weeks 3 days ago
by artemonster
 isomorƒ: an experimental structured editor for witing/deploying functional code316 weeks 3 days ago
by Brian Kent
13 weeks 4 days ago
by Brian Kent
 hobbes, Morgan Stanley OSS2217 weeks 6 days ago
by Kalani
16 weeks 2 days ago
by Z-Bo
 /join the #proglangdesign channel on Freenode018 weeks 3 days ago
by Dustin DeWeese
n/a
 Just entertainment: Click, click, click!218 weeks 4 days ago
by marco
18 weeks 1 day ago
by marco
 Is Datalog negation(¬) similar to the built-in predicate (≠)?419 weeks 4 days ago
by Milton Silva
19 weeks 3 days ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)019 weeks 5 days ago
by Sean McDirmid
n/a
 C runtime type info gimmick which supports scripting121 weeks 1 day ago
by Rys McCusker
21 weeks 20 hours ago
by Rys McCusker
 What would be involved in moving logic beyond FOL?10722 weeks 2 days ago
by Charles Stewart
18 weeks 1 day ago
by Neil Madden
XML feed