LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Are "jets" a good idea?3545 weeks 4 days ago
by xkapastel
26 weeks 4 days ago
by peterseymour
 Are Monads a Waste of Time?15430 weeks 3 days ago
by Keean Schupke
26 weeks 4 days ago
by John Shutt
 GADTs as gaurds4627 weeks 5 days ago
by Matt M
26 weeks 5 days ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1328 weeks 35 min ago
by Paulo Torrens
27 weeks 6 hours ago
by cpurdy
 Bottom1129 weeks 4 days ago
by marco
27 weeks 2 days ago
by johnwcowan
 Anna: A KVS For Any Scale027 weeks 3 days ago
by naasking
n/a
 Anything recent happening with multi-stage programming?1328 weeks 1 day ago
by David Teller
27 weeks 5 days ago
by David Teller
 Generics and Reverse Generics for Dynamic Languages530 weeks 1 day ago
by Greg Buchholz
27 weeks 6 days ago
by Ehud Lamm
 Type systems for acyclic terms431 weeks 5 days ago
by marco
31 weeks 4 days ago
by marco
 Mark – A simple and unified notation for both object and markup data031 weeks 6 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem533 weeks 4 days ago
by chrisoliver
32 weeks 4 days ago
by marco
 Programming by poking: why MIT stopped teaching SICP382 years 19 weeks ago
by Sean McDirmid
33 weeks 4 days ago
by ralphw
 Interesting new paper from T. Sweeney and others275 years 6 weeks ago
by jasonwatkinspdx
34 weeks 1 day ago
by Anton van Straaten
 Refining Structured Type System571 year 31 weeks ago
by Ivan Vodišek
37 weeks 2 days ago
by Ivan Vodišek
 Algebra Of Pointers382 years 19 weeks ago
by Keean Schupke
37 weeks 3 days ago
by Keean Schupke
 Project Loom: adding fibers and continuations to Java1150 weeks 6 days ago
by Rys McCusker
38 weeks 4 days ago
by J Muhammad Houshyar
 Help with Herbelin1249 weeks 6 days ago
by jimdesu
38 weeks 5 days ago
by gasche
 Actual programs written in FP or FL?1112 years 41 weeks ago
by James Hague
39 weeks 1 day ago
by Stefan Cygon
 V-Parser141 weeks 3 days ago
by Ivan Vodišek
41 weeks 2 days ago
by Ivan Vodišek
 A Functional Representation of Data Structures with a Hole (1998)974 years 7 weeks ago
by Vladimir Slepnev
41 weeks 4 days ago
by skaller
 Non-determinism: a sublanguage rather than a monad14851 weeks 5 days ago
by Greg Buchholz
46 weeks 3 days ago
by Keean Schupke
 The Platonic Solids of Software Construction and Their Realization in C481 year 6 days ago
by bryanedds
50 weeks 3 days ago
by e
 A Framework for Gradual Memory Management01 year 3 days ago
by jondgoodwin
n/a
 Type system based on epistemic modal logic?41 year 5 weeks ago
by Jon Purdy
1 year 6 days ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon01 year 1 week ago
by paulboca
n/a
XML feed