LtU Forum

 TopicRepliesCreated sort iconLast reply
 A Framework for Gradual Memory Management035 weeks 2 days ago
by jondgoodwin
n/a
 Programming language Theme-D035 weeks 2 days ago
by tohoyn
n/a
 The Platonic Solids of Software Construction and Their Realization in C4835 weeks 4 days ago
by bryanedds
33 weeks 1 day ago
by e
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon035 weeks 6 days ago
by paulboca
n/a
 SK in Prolog536 weeks 1 day ago
by marco
36 weeks 5 hours ago
by Keean Schupke
 Advancement in TDFA and POSIX submatch extraction038 weeks 14 hours ago
by Ulya Trofimovich
n/a
 Language features for tracing JIT?1239 weeks 2 days ago
by Luke Gorrie
38 weeks 5 days ago
by HeikoWengler
 Something I forgot9439 weeks 5 days ago
by marco
38 weeks 1 day ago
by Keean Schupke
 New simple proof system339 weeks 6 days ago
by Edwin Zacharias
39 weeks 6 days ago
by marco
 NOOL 2017040 weeks 1 day ago
by Roly Perera
n/a
 Type system based on epistemic modal logic?440 weeks 3 days ago
by Jon Purdy
35 weeks 5 days ago
by Jon Purdy
 The question of the possibility of a simple formal foundation to the natural languages.7541 weeks 2 days ago
by Enrique Perez Arnaud
39 weeks 4 days ago
by Enrique Perez Arnaud
 Question: do you have to climb the tower of interpreters?542 weeks 4 days ago
by artemonster
42 weeks 3 days ago
by artemonster
 isomorƒ: an experimental structured editor for witing/deploying functional code342 weeks 4 days ago
by Brian Kent
39 weeks 4 days ago
by Brian Kent
 hobbes, Morgan Stanley OSS2243 weeks 6 days ago
by Kalani
42 weeks 2 days ago
by Z-Bo
 /join the #proglangdesign channel on Freenode044 weeks 3 days ago
by Dustin DeWeese
n/a
 Just entertainment: Click, click, click!244 weeks 5 days ago
by marco
44 weeks 2 days ago
by marco
 Is Datalog negation(¬) similar to the built-in predicate (≠)?445 weeks 5 days ago
by Milton Silva
45 weeks 4 days ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)045 weeks 5 days ago
by Sean McDirmid
n/a
 C runtime type info gimmick which supports scripting147 weeks 2 days ago
by Rys McCusker
47 weeks 1 day ago
by Rys McCusker
 What would be involved in moving logic beyond FOL?10748 weeks 2 days ago
by Charles Stewart
44 weeks 1 day ago
by Neil Madden
 Restructor: Full Program Automatic Refactoring849 weeks 19 hours ago
by Wouter
48 weeks 1 day ago
by gasche
 Free links to all (or practically all) recent SIGPLAN papers250 weeks 13 hours ago
by emery
50 weeks 8 hours ago
by johnwcowan
 SW verification continues01 year 3 days ago
by hbrandl
n/a
 Finding Solutions vs. Verifying Solutions391 year 3 days ago
by Ivan Vodišek
50 weeks 5 days ago
by Blaisorblade
XML feed