LtU Forum

 TopicRepliesCreatedLast reply sort icon
 An impure solution to the problem of matching fans42 weeks 5 days ago
by Anton Salikhmetov
2 weeks 3 days ago
by Anton Salikhmetov
 Refining Structured Type System5749 weeks 1 day ago
by Ivan Vodišek
2 weeks 6 days ago
by Ivan Vodišek
 Algebra Of Pointers381 year 36 weeks ago
by Keean Schupke
3 weeks 4 hours ago
by Keean Schupke
 Project Loom: adding fibers and continuations to Java1116 weeks 3 days ago
by Rys McCusker
4 weeks 1 day ago
by J Muhammad Houshyar
 Help with Herbelin1215 weeks 3 days ago
by jimdesu
4 weeks 2 days ago
by gasche
 Actual programs written in FP or FL?1112 years 6 weeks ago
by James Hague
4 weeks 5 days ago
by Stefan Cygon
 Are "jets" a good idea?3411 weeks 1 day ago
by xkapastel
5 weeks 5 days ago
by James Hague
 V-Parser17 weeks 2 hours ago
by Ivan Vodišek
6 weeks 6 days ago
by Ivan Vodišek
 A Functional Representation of Data Structures with a Hole (1998)973 years 24 weeks ago
by Vladimir Slepnev
7 weeks 1 day ago
by skaller
 Non-determinism: a sublanguage rather than a monad14817 weeks 2 days ago
by Greg Buchholz
12 weeks 10 hours ago
by Keean Schupke
 The Platonic Solids of Software Construction and Their Realization in C4818 weeks 4 days ago
by bryanedds
16 weeks 23 hours ago
by e
 A Framework for Gradual Memory Management018 weeks 1 day ago
by jondgoodwin
n/a
 Programming language Theme-D018 weeks 2 days ago
by tohoyn
n/a
 Type system based on epistemic modal logic?423 weeks 2 days ago
by Jon Purdy
18 weeks 4 days ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon018 weeks 6 days ago
by paulboca
n/a
 SK in Prolog519 weeks 1 day ago
by marco
18 weeks 6 days ago
by Keean Schupke
 Reversing operations165 years 45 weeks ago
by Pablo Barenbaum
19 weeks 1 day ago
by johnwcowan
 Advancement in TDFA and POSIX submatch extraction020 weeks 6 days ago
by Ulya Trofimovich
n/a
 Something I forgot9422 weeks 4 days ago
by marco
21 weeks 11 hours ago
by Keean Schupke
 Language features for tracing JIT?1222 weeks 2 days ago
by Luke Gorrie
21 weeks 5 days ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.7524 weeks 1 day ago
by Enrique Perez Arnaud
22 weeks 3 days ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code325 weeks 3 days ago
by Brian Kent
22 weeks 3 days ago
by Brian Kent
 New simple proof system322 weeks 6 days ago
by Edwin Zacharias
22 weeks 5 days ago
by marco
 NOOL 2017023 weeks 1 day ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS2226 weeks 6 days ago
by Kalani
25 weeks 2 days ago
by Z-Bo
XML feed