LtU Forum

 TopicRepliesCreated sort iconLast reply
 Generics and Reverse Generics for Dynamic Languages525 weeks 6 days ago
by Greg Buchholz
23 weeks 5 days ago
by Ehud Lamm
 Are Monads a Waste of Time?15426 weeks 1 day ago
by Keean Schupke
22 weeks 2 days ago
by John Shutt
 Type systems for acyclic terms427 weeks 3 days ago
by marco
27 weeks 2 days ago
by marco
 Mark – A simple and unified notation for both object and markup data027 weeks 4 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem529 weeks 2 days ago
by chrisoliver
28 weeks 2 days ago
by marco
 An impure solution to the problem of matching fans1432 weeks 6 days ago
by Anton Salikhmetov
20 weeks 4 days ago
by Anton Salikhmetov
 V-Parser137 weeks 1 day ago
by Ivan Vodišek
37 weeks 9 hours ago
by Ivan Vodišek
 Are "jets" a good idea?3541 weeks 2 days ago
by xkapastel
22 weeks 2 days ago
by peterseymour
 Help with Herbelin1245 weeks 4 days ago
by jimdesu
34 weeks 3 days ago
by gasche
 Project Loom: adding fibers and continuations to Java1146 weeks 4 days ago
by Rys McCusker
34 weeks 2 days ago
by J Muhammad Houshyar
 Non-determinism: a sublanguage rather than a monad14847 weeks 3 days ago
by Greg Buchholz
42 weeks 1 day ago
by Keean Schupke
 A Framework for Gradual Memory Management048 weeks 2 days ago
by jondgoodwin
n/a
 Programming language Theme-D248 weeks 3 days ago
by tohoyn
9 weeks 5 days ago
by Manuel J. Simoni
 The Platonic Solids of Software Construction and Their Realization in C4848 weeks 5 days ago
by bryanedds
46 weeks 2 days ago
by e
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon049 weeks 1 hour ago
by paulboca
n/a
 SK in Prolog549 weeks 2 days ago
by marco
49 weeks 12 hours ago
by Keean Schupke
 Advancement in TDFA and POSIX submatch extraction051 weeks 21 hours ago
by Ulya Trofimovich
n/a
 Language features for tracing JIT?121 year 2 days ago
by Luke Gorrie
51 weeks 6 days ago
by HeikoWengler
 Something I forgot941 year 4 days ago
by marco
51 weeks 1 day ago
by Keean Schupke
 New simple proof system31 year 6 days ago
by Edwin Zacharias
1 year 5 days ago
by marco
 NOOL 201701 year 1 week ago
by Roly Perera
n/a
 Type system based on epistemic modal logic?41 year 1 week ago
by Jon Purdy
48 weeks 5 days ago
by Jon Purdy
 The question of the possibility of a simple formal foundation to the natural languages.751 year 2 weeks ago
by Enrique Perez Arnaud
1 year 3 days ago
by Enrique Perez Arnaud
 Question: do you have to climb the tower of interpreters?51 year 3 weeks ago
by artemonster
1 year 3 weeks ago
by artemonster
 isomorƒ: an experimental structured editor for witing/deploying functional code31 year 3 weeks ago
by Brian Kent
1 year 4 days ago
by Brian Kent
XML feed