LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Is there a functional language with explicit limits on the heap(s)?1322 weeks 6 days ago
by Paulo Torrens
21 weeks 6 days ago
by cpurdy
 Bottom1124 weeks 4 days ago
by marco
22 weeks 2 days ago
by johnwcowan
 Anna: A KVS For Any Scale022 weeks 3 days ago
by naasking
n/a
 Anything recent happening with multi-stage programming?1323 weeks 22 hours ago
by David Teller
22 weeks 4 days ago
by David Teller
 Generics and Reverse Generics for Dynamic Languages525 weeks 1 day ago
by Greg Buchholz
22 weeks 6 days ago
by Ehud Lamm
 Type systems for acyclic terms426 weeks 5 days ago
by marco
26 weeks 4 days ago
by marco
 Mark – A simple and unified notation for both object and markup data026 weeks 5 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem528 weeks 4 days ago
by chrisoliver
27 weeks 4 days ago
by marco
 Programming by poking: why MIT stopped teaching SICP382 years 14 weeks ago
by Sean McDirmid
28 weeks 4 days ago
by ralphw
 Interesting new paper from T. Sweeney and others275 years 1 week ago
by jasonwatkinspdx
29 weeks 1 day ago
by Anton van Straaten
 Refining Structured Type System571 year 26 weeks ago
by Ivan Vodišek
32 weeks 1 day ago
by Ivan Vodišek
 Algebra Of Pointers382 years 14 weeks ago
by Keean Schupke
32 weeks 2 days ago
by Keean Schupke
 Project Loom: adding fibers and continuations to Java1145 weeks 6 days ago
by Rys McCusker
33 weeks 4 days ago
by J Muhammad Houshyar
 Help with Herbelin1244 weeks 5 days ago
by jimdesu
33 weeks 4 days ago
by gasche
 Actual programs written in FP or FL?1112 years 36 weeks ago
by James Hague
34 weeks 22 hours ago
by Stefan Cygon
 V-Parser136 weeks 2 days ago
by Ivan Vodišek
36 weeks 1 day ago
by Ivan Vodišek
 A Functional Representation of Data Structures with a Hole (1998)974 years 2 weeks ago
by Vladimir Slepnev
36 weeks 3 days ago
by skaller
 Non-determinism: a sublanguage rather than a monad14846 weeks 5 days ago
by Greg Buchholz
41 weeks 3 days ago
by Keean Schupke
 The Platonic Solids of Software Construction and Their Realization in C4847 weeks 6 days ago
by bryanedds
45 weeks 3 days ago
by e
 A Framework for Gradual Memory Management047 weeks 4 days ago
by jondgoodwin
n/a
 Type system based on epistemic modal logic?41 year 4 days ago
by Jon Purdy
48 weeks 6 hours ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon048 weeks 1 day ago
by paulboca
n/a
 SK in Prolog548 weeks 3 days ago
by marco
48 weeks 2 days ago
by Keean Schupke
 Reversing operations166 years 22 weeks ago
by Pablo Barenbaum
48 weeks 3 days ago
by johnwcowan
 Advancement in TDFA and POSIX submatch extraction050 weeks 2 days ago
by Ulya Trofimovich
n/a
XML feed