LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Non-determinism: a sublanguage rather than a monad1254 weeks 3 days ago
by Greg Buchholz
10 hours 55 min ago
by dmbarbour
 A Functional Representation of Data Structures with a Hole (1998)963 years 11 weeks ago
by Vladimir Slepnev
1 week 2 days ago
by Julian Rohrhuber
 Help with Herbelin102 weeks 3 days ago
by jimdesu
2 weeks 1 day ago
by jimdesu
 Project Loom: adding fibers and continuations to Java73 weeks 3 days ago
by Rys McCusker
2 weeks 2 days ago
by Rys McCusker
 The Platonic Solids of Software Construction and Their Realization in C485 weeks 4 days ago
by bryanedds
3 weeks 1 day ago
by e
 A Framework for Gradual Memory Management05 weeks 2 days ago
by jondgoodwin
n/a
 Programming language Theme-D05 weeks 2 days ago
by tohoyn
n/a
 Type system based on epistemic modal logic?410 weeks 3 days ago
by Jon Purdy
5 weeks 4 days ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon05 weeks 6 days ago
by paulboca
n/a
 SK in Prolog56 weeks 1 day ago
by marco
5 weeks 6 days ago
by Keean Schupke
 Reversing operations165 years 32 weeks ago
by Pablo Barenbaum
6 weeks 1 day ago
by johnwcowan
 Advancement in TDFA and POSIX submatch extraction08 weeks 3 hours ago
by Ulya Trofimovich
n/a
 Something I forgot949 weeks 4 days ago
by marco
8 weeks 18 hours ago
by Keean Schupke
 Language features for tracing JIT?129 weeks 2 days ago
by Luke Gorrie
8 weeks 5 days ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.7511 weeks 2 days ago
by Enrique Perez Arnaud
9 weeks 3 days ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code312 weeks 4 days ago
by Brian Kent
9 weeks 4 days ago
by Brian Kent
 New simple proof system39 weeks 6 days ago
by Edwin Zacharias
9 weeks 6 days ago
by marco
 NOOL 2017010 weeks 1 day ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS2213 weeks 6 days ago
by Kalani
12 weeks 2 days ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?512 weeks 3 days ago
by artemonster
12 weeks 3 days ago
by artemonster
 What would be involved in moving logic beyond FOL?10718 weeks 2 days ago
by Charles Stewart
14 weeks 1 day ago
by Neil Madden
 Just entertainment: Click, click, click!214 weeks 4 days ago
by marco
14 weeks 2 days ago
by marco
 /join the #proglangdesign channel on Freenode014 weeks 3 days ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading261 year 31 weeks ago
by filipallberg
14 weeks 5 days ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?415 weeks 4 days ago
by Milton Silva
15 weeks 3 days ago
by marco
XML feed