LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Generics and Reverse Generics for Dynamic Languages521 weeks 5 days ago
by Greg Buchholz
19 weeks 3 days ago
by Ehud Lamm
 Type systems for acyclic terms423 weeks 1 day ago
by marco
23 weeks 12 hours ago
by marco
 Mark – A simple and unified notation for both object and markup data023 weeks 2 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem525 weeks 22 hours ago
by chrisoliver
24 weeks 16 hours ago
by marco
 Programming by poking: why MIT stopped teaching SICP382 years 10 weeks ago
by Sean McDirmid
25 weeks 13 hours ago
by ralphw
 Interesting new paper from T. Sweeney and others274 years 50 weeks ago
by jasonwatkinspdx
25 weeks 4 days ago
by Anton van Straaten
 Refining Structured Type System571 year 22 weeks ago
by Ivan Vodišek
28 weeks 5 days ago
by Ivan Vodišek
 Algebra Of Pointers382 years 10 weeks ago
by Keean Schupke
28 weeks 6 days ago
by Keean Schupke
 Project Loom: adding fibers and continuations to Java1142 weeks 2 days ago
by Rys McCusker
30 weeks 23 hours ago
by J Muhammad Houshyar
 Help with Herbelin1241 weeks 2 days ago
by jimdesu
30 weeks 1 day ago
by gasche
 Actual programs written in FP or FL?1112 years 32 weeks ago
by James Hague
30 weeks 4 days ago
by Stefan Cygon
 V-Parser132 weeks 6 days ago
by Ivan Vodišek
32 weeks 5 days ago
by Ivan Vodišek
 A Functional Representation of Data Structures with a Hole (1998)973 years 50 weeks ago
by Vladimir Slepnev
33 weeks 8 hours ago
by skaller
 Non-determinism: a sublanguage rather than a monad14843 weeks 1 day ago
by Greg Buchholz
37 weeks 6 days ago
by Keean Schupke
 The Platonic Solids of Software Construction and Their Realization in C4844 weeks 3 days ago
by bryanedds
42 weeks 1 hour ago
by e
 A Framework for Gradual Memory Management044 weeks 22 hours ago
by jondgoodwin
n/a
 Type system based on epistemic modal logic?449 weeks 1 day ago
by Jon Purdy
44 weeks 3 days ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon044 weeks 5 days ago
by paulboca
n/a
 SK in Prolog545 weeks 5 hours ago
by marco
44 weeks 5 days ago
by Keean Schupke
 Reversing operations166 years 18 weeks ago
by Pablo Barenbaum
45 weeks 4 hours ago
by johnwcowan
 Advancement in TDFA and POSIX submatch extraction046 weeks 5 days ago
by Ulya Trofimovich
n/a
 Something I forgot9448 weeks 3 days ago
by marco
46 weeks 6 days ago
by Keean Schupke
 Language features for tracing JIT?1248 weeks 1 day ago
by Luke Gorrie
47 weeks 4 days ago
by HeikoWengler
 The question of the possibility of a simple formal foundation to the natural languages.7550 weeks 1 day ago
by Enrique Perez Arnaud
48 weeks 2 days ago
by Enrique Perez Arnaud
 isomorƒ: an experimental structured editor for witing/deploying functional code351 weeks 2 days ago
by Brian Kent
48 weeks 3 days ago
by Brian Kent
XML feed