LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Actual programs written in FP or FL?1118 years 16 weeks ago
by James Hague
6 years 14 weeks ago
by Stefan Cygon
 A Functional Representation of Data Structures with a Hole (1998)979 years 34 weeks ago
by Vladimir Slepnev
6 years 17 weeks ago
by skaller
 Non-determinism: a sublanguage rather than a monad1486 years 27 weeks ago
by Greg Buchholz
6 years 21 weeks ago
by Keean Schupke
 The Platonic Solids of Software Construction and Their Realization in C486 years 28 weeks ago
by bryanedds
6 years 26 weeks ago
by e
 A Framework for Gradual Memory Management06 years 28 weeks ago
by jondgoodwin
n/a
 Type system based on epistemic modal logic?46 years 33 weeks ago
by Jon Purdy
6 years 28 weeks ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon06 years 28 weeks ago
by paulboca
n/a
 SK in Prolog56 years 29 weeks ago
by marco
6 years 28 weeks ago
by Keean Schupke
 Reversing operations1612 years 2 weeks ago
by Pablo Barenbaum
6 years 29 weeks ago
by johnwcowan
 Advancement in TDFA and POSIX submatch extraction06 years 30 weeks ago
by Ulya Trofimovich
n/a
 Something I forgot946 years 32 weeks ago
by marco
6 years 30 weeks ago
by Keean Schupke
 Language features for tracing JIT?126 years 32 weeks ago
by Luke Gorrie
6 years 31 weeks ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.756 years 34 weeks ago
by Enrique Perez Arnaud
6 years 32 weeks ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code36 years 35 weeks ago
by Brian Kent
6 years 32 weeks ago
by Brian Kent
 New simple proof system36 years 32 weeks ago
by Edwin Zacharias
6 years 32 weeks ago
by marco
 NOOL 201706 years 33 weeks ago
by Roly Perera
n/a
 hobbes, Morgan Stanley OSS226 years 36 weeks ago
by Kalani
6 years 35 weeks ago
by Z-Bo
 Question: do you have to climb the tower of interpreters?56 years 35 weeks ago
by artemonster
6 years 35 weeks ago
by artemonster
 What would be involved in moving logic beyond FOL?1076 years 41 weeks ago
by Charles Stewart
6 years 37 weeks ago
by Neil Madden
 Just entertainment: Click, click, click!26 years 37 weeks ago
by marco
6 years 37 weeks ago
by marco
 /join the #proglangdesign channel on Freenode06 years 37 weeks ago
by Dustin DeWeese
n/a
 Affine Types - Introductory reading268 years 2 weeks ago
by filipallberg
6 years 37 weeks ago
by skaller
 Is Datalog negation(¬) similar to the built-in predicate (≠)?46 years 38 weeks ago
by Milton Silva
6 years 38 weeks ago
by marco
 Please submit to LIVE! 2017 (SPLASH Vancouver)06 years 38 weeks ago
by Sean McDirmid
n/a
 How to name the inverse functions of constructors277 years 20 weeks ago
by hbrandl
6 years 38 weeks ago
by L Spice
XML feed