LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Are "jets" a good idea?345 weeks 4 days ago
by xkapastel
12 hours 59 min ago
by James Hague
 Refining Structured Type System4943 weeks 4 days ago
by Ivan Vodišek
14 hours 34 min ago
by Keean Schupke
 V-Parser11 week 2 days ago
by Ivan Vodišek
1 week 1 day ago
by Ivan Vodišek
 A Functional Representation of Data Structures with a Hole (1998)973 years 19 weeks ago
by Vladimir Slepnev
1 week 3 days ago
by skaller
 Non-determinism: a sublanguage rather than a monad14811 weeks 5 days ago
by Greg Buchholz
6 weeks 2 days ago
by Keean Schupke
 Project Loom: adding fibers and continuations to Java1010 weeks 6 days ago
by Rys McCusker
6 weeks 5 days ago
by Rys McCusker
 Help with Herbelin109 weeks 5 days ago
by jimdesu
9 weeks 3 days ago
by jimdesu
 The Platonic Solids of Software Construction and Their Realization in C4812 weeks 6 days ago
by bryanedds
10 weeks 3 days ago
by e
 A Framework for Gradual Memory Management012 weeks 4 days ago
by jondgoodwin
n/a
 Programming language Theme-D012 weeks 4 days ago
by tohoyn
n/a
 Type system based on epistemic modal logic?417 weeks 5 days ago
by Jon Purdy
13 weeks 1 hour ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon013 weeks 1 day ago
by paulboca
n/a
 SK in Prolog513 weeks 3 days ago
by marco
13 weeks 1 day ago
by Keean Schupke
 Reversing operations165 years 39 weeks ago
by Pablo Barenbaum
13 weeks 3 days ago
by johnwcowan
 Advancement in TDFA and POSIX submatch extraction015 weeks 2 days ago
by Ulya Trofimovich
n/a
 Something I forgot9417 weeks 2 hours ago
by marco
15 weeks 2 days ago
by Keean Schupke
 Language features for tracing JIT?1216 weeks 4 days ago
by Luke Gorrie
16 weeks 14 hours ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.7518 weeks 4 days ago
by Enrique Perez Arnaud
16 weeks 6 days ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code319 weeks 6 days ago
by Brian Kent
16 weeks 6 days ago
by Brian Kent
 New simple proof system317 weeks 1 day ago
by Edwin Zacharias
17 weeks 1 day ago
by marco
 NOOL 2017017 weeks 3 days ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS2221 weeks 1 day ago
by Kalani
19 weeks 4 days ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?519 weeks 5 days ago
by artemonster
19 weeks 5 days ago
by artemonster
 What would be involved in moving logic beyond FOL?10725 weeks 4 days ago
by Charles Stewart
21 weeks 3 days ago
by Neil Madden
 Just entertainment: Click, click, click!221 weeks 6 days ago
by marco
21 weeks 4 days ago
by marco
XML feed