LtU Forum

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