LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Algebra Of Pointers382 years 2 weeks ago
by Keean Schupke
20 weeks 4 days ago
by Keean Schupke
 Project Loom: adding fibers and continuations to Java1134 weeks 16 hours ago
by Rys McCusker
21 weeks 5 days ago
by J Muhammad Houshyar
 Help with Herbelin1233 weeks 2 hours ago
by jimdesu
21 weeks 6 days ago
by gasche
 Actual programs written in FP or FL?1112 years 24 weeks ago
by James Hague
22 weeks 2 days ago
by Stefan Cygon
 V-Parser124 weeks 4 days ago
by Ivan Vodišek
24 weeks 3 days ago
by Ivan Vodišek
 A Functional Representation of Data Structures with a Hole (1998)973 years 42 weeks ago
by Vladimir Slepnev
24 weeks 5 days ago
by skaller
 Non-determinism: a sublanguage rather than a monad14834 weeks 6 days ago
by Greg Buchholz
29 weeks 4 days ago
by Keean Schupke
 The Platonic Solids of Software Construction and Their Realization in C4836 weeks 1 day ago
by bryanedds
33 weeks 4 days ago
by e
 A Framework for Gradual Memory Management035 weeks 5 days ago
by jondgoodwin
n/a
 Programming language Theme-D035 weeks 6 days ago
by tohoyn
n/a
 Type system based on epistemic modal logic?440 weeks 6 days ago
by Jon Purdy
36 weeks 1 day ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon036 weeks 3 days ago
by paulboca
n/a
 SK in Prolog536 weeks 5 days ago
by marco
36 weeks 3 days ago
by Keean Schupke
 Reversing operations166 years 10 weeks ago
by Pablo Barenbaum
36 weeks 5 days ago
by johnwcowan
 Advancement in TDFA and POSIX submatch extraction038 weeks 3 days ago
by Ulya Trofimovich
n/a
 Something I forgot9440 weeks 1 day ago
by marco
38 weeks 4 days ago
by Keean Schupke
 Language features for tracing JIT?1239 weeks 6 days ago
by Luke Gorrie
39 weeks 2 days ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.7541 weeks 5 days ago
by Enrique Perez Arnaud
40 weeks 17 hours ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code343 weeks 19 hours ago
by Brian Kent
40 weeks 1 day ago
by Brian Kent
 New simple proof system340 weeks 3 days ago
by Edwin Zacharias
40 weeks 2 days ago
by marco
 NOOL 2017040 weeks 5 days ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS2244 weeks 3 days ago
by Kalani
42 weeks 6 days ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?543 weeks 9 hours ago
by artemonster
42 weeks 6 days ago
by artemonster
 What would be involved in moving logic beyond FOL?10748 weeks 6 days ago
by Charles Stewart
44 weeks 5 days ago
by Neil Madden
 Just entertainment: Click, click, click!245 weeks 1 day ago
by marco
44 weeks 5 days ago
by marco
XML feed