LtU Forum

 TopicRepliesCreated sort iconLast reply
 An impure solution to the problem of matching fans42 weeks 6 days ago
by Anton Salikhmetov
2 weeks 4 days ago
by Anton Salikhmetov
 V-Parser17 weeks 1 day ago
by Ivan Vodišek
7 weeks 20 hours ago
by Ivan Vodišek
 Are "jets" a good idea?3411 weeks 3 days ago
by xkapastel
5 weeks 6 days ago
by James Hague
 Help with Herbelin1215 weeks 4 days ago
by jimdesu
4 weeks 3 days ago
by gasche
 Project Loom: adding fibers and continuations to Java1116 weeks 5 days ago
by Rys McCusker
4 weeks 3 days ago
by J Muhammad Houshyar
 Non-determinism: a sublanguage rather than a monad14817 weeks 4 days ago
by Greg Buchholz
12 weeks 1 day ago
by Keean Schupke
 A Framework for Gradual Memory Management018 weeks 3 days ago
by jondgoodwin
n/a
 Programming language Theme-D018 weeks 3 days ago
by tohoyn
n/a
 The Platonic Solids of Software Construction and Their Realization in C4818 weeks 5 days ago
by bryanedds
16 weeks 2 days ago
by e
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon019 weeks 12 hours ago
by paulboca
n/a
 SK in Prolog519 weeks 2 days ago
by marco
19 weeks 23 hours ago
by Keean Schupke
 Advancement in TDFA and POSIX submatch extraction021 weeks 1 day ago
by Ulya Trofimovich
n/a
 Language features for tracing JIT?1222 weeks 3 days ago
by Luke Gorrie
21 weeks 6 days ago
by HeikoWengler
 Something I forgot9422 weeks 6 days ago
by marco
21 weeks 1 day ago
by Keean Schupke
 New simple proof system323 weeks 17 hours ago
by Edwin Zacharias
23 weeks 7 hours ago
by marco
 NOOL 2017023 weeks 2 days ago
by Roly Perera
n/a
 Type system based on epistemic modal logic?423 weeks 4 days ago
by Jon Purdy
18 weeks 6 days ago
by Jon Purdy
 The question of the possibility of a simple formal foundation to the natural languages.7524 weeks 3 days ago
by Enrique Perez Arnaud
22 weeks 5 days ago
by Enrique Perez Arnaud
 Question: do you have to climb the tower of interpreters?525 weeks 4 days ago
by artemonster
25 weeks 4 days ago
by artemonster
 isomorƒ: an experimental structured editor for witing/deploying functional code325 weeks 5 days ago
by Brian Kent
22 weeks 5 days ago
by Brian Kent
 hobbes, Morgan Stanley OSS2227 weeks 14 hours ago
by Kalani
25 weeks 3 days ago
by Z-Bo
 /join the #proglangdesign channel on Freenode027 weeks 4 days ago
by Dustin DeWeese
n/a
 Just entertainment: Click, click, click!227 weeks 6 days ago
by marco
27 weeks 3 days ago
by marco
 Is Datalog negation(¬) similar to the built-in predicate (≠)?428 weeks 5 days ago
by Milton Silva
28 weeks 4 days ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)028 weeks 6 days ago
by Sean McDirmid
n/a
XML feed