LtU Forum

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