LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Bottom73 days 2 hours ago
by marco
6 hours 42 min ago
by John Shutt
 Are Monads a Waste of Time?881 week 1 day ago
by Keean Schupke
1 day 4 hours ago
by John Shutt
 Generics and Reverse Generics for Dynamic Languages11 week 1 hour ago
by Greg Buchholz
6 days 23 hours ago
by Matt M
 An impure solution to the problem of matching fans137 weeks 6 days ago
by Anton Salikhmetov
1 week 4 days ago
by Anton Salikhmetov
 Type systems for acyclic terms42 weeks 3 days ago
by marco
2 weeks 2 days ago
by marco
 Mark – A simple and unified notation for both object and markup data02 weeks 4 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem54 weeks 2 days ago
by chrisoliver
3 weeks 2 days ago
by marco
 Programming by poking: why MIT stopped teaching SICP381 year 42 weeks ago
by Sean McDirmid
4 weeks 2 days ago
by ralphw
 Interesting new paper from T. Sweeney and others274 years 29 weeks ago
by jasonwatkinspdx
4 weeks 6 days ago
by Anton van Straaten
 Refining Structured Type System571 year 2 weeks ago
by Ivan Vodišek
8 weeks 4 hours ago
by Ivan Vodišek
 Algebra Of Pointers381 year 42 weeks ago
by Keean Schupke
8 weeks 1 day ago
by Keean Schupke
 Project Loom: adding fibers and continuations to Java1121 weeks 4 days ago
by Rys McCusker
9 weeks 3 days ago
by J Muhammad Houshyar
 Help with Herbelin1220 weeks 4 days ago
by jimdesu
9 weeks 3 days ago
by gasche
 Actual programs written in FP or FL?1112 years 11 weeks ago
by James Hague
9 weeks 6 days ago
by Stefan Cygon
 Are "jets" a good idea?3416 weeks 2 days ago
by xkapastel
10 weeks 6 days ago
by James Hague
 V-Parser112 weeks 1 day ago
by Ivan Vodišek
12 weeks 11 hours ago
by Ivan Vodišek
 A Functional Representation of Data Structures with a Hole (1998)973 years 30 weeks ago
by Vladimir Slepnev
12 weeks 2 days ago
by skaller
 Non-determinism: a sublanguage rather than a monad14822 weeks 3 days ago
by Greg Buchholz
17 weeks 1 day ago
by Keean Schupke
 The Platonic Solids of Software Construction and Their Realization in C4823 weeks 5 days ago
by bryanedds
21 weeks 2 days ago
by e
 A Framework for Gradual Memory Management023 weeks 2 days ago
by jondgoodwin
n/a
 Programming language Theme-D023 weeks 3 days ago
by tohoyn
n/a
 Type system based on epistemic modal logic?428 weeks 4 days ago
by Jon Purdy
23 weeks 5 days ago
by Jon Purdy
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon024 weeks 3 hours ago
by paulboca
n/a
 SK in Prolog524 weeks 2 days ago
by marco
24 weeks 14 hours ago
by Keean Schupke
 Reversing operations165 years 50 weeks ago
by Pablo Barenbaum
24 weeks 2 days ago
by johnwcowan
XML feed