LtU Forum

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