LtU Forum

 TopicRepliesCreated sort iconLast reply
 Bottom218 hours 58 min ago
by marco
2 hours 34 min ago
by Andreas Rossberg
 Generics and Reverse Generics for Dynamic Languages14 days 18 hours ago
by Greg Buchholz
4 days 16 hours ago
by Matt M
 Are Monads a Waste of Time?806 days 6 hours ago
by Keean Schupke
14 min 12 sec ago
by John Shutt
 Type systems for acyclic terms42 weeks 1 day ago
by marco
2 weeks 5 hours ago
by marco
 Mark – A simple and unified notation for both object and markup data02 weeks 2 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem54 weeks 16 hours ago
by chrisoliver
3 weeks 9 hours ago
by marco
 An impure solution to the problem of matching fans137 weeks 3 days ago
by Anton Salikhmetov
1 week 1 day ago
by Anton Salikhmetov
 V-Parser111 weeks 5 days ago
by Ivan Vodišek
11 weeks 5 days ago
by Ivan Vodišek
 Are "jets" a good idea?3416 weeks 10 hours ago
by xkapastel
10 weeks 3 days ago
by James Hague
 Help with Herbelin1220 weeks 1 day ago
by jimdesu
9 weeks 22 hours ago
by gasche
 Project Loom: adding fibers and continuations to Java1121 weeks 2 days ago
by Rys McCusker
9 weeks 16 hours ago
by J Muhammad Houshyar
 Non-determinism: a sublanguage rather than a monad14822 weeks 1 day ago
by Greg Buchholz
16 weeks 6 days ago
by Keean Schupke
 A Framework for Gradual Memory Management023 weeks 15 hours ago
by jondgoodwin
n/a
 Programming language Theme-D023 weeks 22 hours ago
by tohoyn
n/a
 The Platonic Solids of Software Construction and Their Realization in C4823 weeks 2 days ago
by bryanedds
20 weeks 6 days ago
by e
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon023 weeks 4 days ago
by paulboca
n/a
 SK in Prolog523 weeks 6 days ago
by marco
23 weeks 5 days ago
by Keean Schupke
 Advancement in TDFA and POSIX submatch extraction025 weeks 5 days ago
by Ulya Trofimovich
n/a
 Language features for tracing JIT?1227 weeks 1 day ago
by Luke Gorrie
26 weeks 3 days ago
by HeikoWengler
 Something I forgot9427 weeks 3 days ago
by marco
25 weeks 6 days ago
by Keean Schupke
 New simple proof system327 weeks 5 days ago
by Edwin Zacharias
27 weeks 4 days ago
by marco
 NOOL 2017028 weeks 1 hour ago
by Roly Perera
n/a
 Type system based on epistemic modal logic?428 weeks 1 day ago
by Jon Purdy
23 weeks 3 days ago
by Jon Purdy
 The question of the possibility of a simple formal foundation to the natural languages.7529 weeks 19 hours ago
by Enrique Perez Arnaud
27 weeks 2 days ago
by Enrique Perez Arnaud
 Question: do you have to climb the tower of interpreters?530 weeks 2 days ago
by artemonster
30 weeks 1 day ago
by artemonster
XML feed