LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Help with Herbelin121 year 10 weeks ago
by jimdesu
51 weeks 5 days ago
by gasche
 Actual programs written in FP or FL?1113 years 2 weeks ago
by James Hague
1 year 18 hours ago
by Stefan Cygon
 V-Parser11 year 2 weeks ago
by Ivan Vodišek
1 year 2 weeks ago
by Ivan Vodišek
 A Functional Representation of Data Structures with a Hole (1998)974 years 20 weeks ago
by Vladimir Slepnev
1 year 2 weeks ago
by skaller
 Non-determinism: a sublanguage rather than a monad1481 year 12 weeks ago
by Greg Buchholz
1 year 7 weeks ago
by Keean Schupke
 The Platonic Solids of Software Construction and Their Realization in C481 year 13 weeks ago
by bryanedds
1 year 11 weeks ago
by e
 A Framework for Gradual Memory Management01 year 13 weeks ago
by jondgoodwin
n/a
 Type system based on epistemic modal logic?41 year 18 weeks ago
by Jon Purdy
1 year 14 weeks ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon01 year 14 weeks ago
by paulboca
n/a
 SK in Prolog51 year 14 weeks ago
by marco
1 year 14 weeks ago
by Keean Schupke
 Reversing operations166 years 40 weeks ago
by Pablo Barenbaum
1 year 14 weeks ago
by johnwcowan
 Advancement in TDFA and POSIX submatch extraction01 year 16 weeks ago
by Ulya Trofimovich
n/a
 Something I forgot941 year 18 weeks ago
by marco
1 year 16 weeks ago
by Keean Schupke
 Language features for tracing JIT?121 year 17 weeks ago
by Luke Gorrie
1 year 17 weeks ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.751 year 19 weeks ago
by Enrique Perez Arnaud
1 year 17 weeks ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code31 year 20 weeks ago
by Brian Kent
1 year 17 weeks ago
by Brian Kent
 New simple proof system31 year 18 weeks ago
by Edwin Zacharias
1 year 18 weeks ago
by marco
 NOOL 201701 year 18 weeks ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS221 year 22 weeks ago
by Kalani
1 year 20 weeks ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?51 year 20 weeks ago
by artemonster
1 year 20 weeks ago
by artemonster
 What would be involved in moving logic beyond FOL?1071 year 26 weeks ago
by Charles Stewart
1 year 22 weeks ago
by Neil Madden
 Just entertainment: Click, click, click!21 year 22 weeks ago
by marco
1 year 22 weeks ago
by marco
 /join the #proglangdesign channel on Freenode01 year 22 weeks ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading262 years 39 weeks ago
by filipallberg
1 year 23 weeks ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?41 year 23 weeks ago
by Milton Silva
1 year 23 weeks ago
by marco
XML feed