LtU Forum

 TopicRepliesCreated sort iconLast reply
 Non-transitivity of type unification234 weeks 6 days ago
by AntC
34 weeks 6 days ago
by Matt M
 LIVE 2018 CFP135 weeks 5 days ago
by Sean McDirmid
30 weeks 5 days ago
by Roly Perera
 Anna: A KVS For Any Scale036 weeks 1 day ago
by naasking
n/a
 GADTs as gaurds4636 weeks 3 days ago
by Matt M
35 weeks 3 days ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1336 weeks 4 days ago
by Paulo Torrens
35 weeks 4 days ago
by cpurdy
 Anything recent happening with multi-stage programming?1336 weeks 5 days ago
by David Teller
36 weeks 2 days ago
by David Teller
 Bottom1138 weeks 2 days ago
by marco
36 weeks 5 hours ago
by johnwcowan
 Generics and Reverse Generics for Dynamic Languages538 weeks 6 days ago
by Greg Buchholz
36 weeks 4 days ago
by Ehud Lamm
 Are Monads a Waste of Time?15439 weeks 15 hours ago
by Keean Schupke
35 weeks 1 day ago
by John Shutt
 Type systems for acyclic terms440 weeks 2 days ago
by marco
40 weeks 1 day ago
by marco
 Mark – A simple and unified notation for both object and markup data040 weeks 3 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem542 weeks 2 days ago
by chrisoliver
41 weeks 1 day ago
by marco
 An impure solution to the problem of matching fans1445 weeks 5 days ago
by Anton Salikhmetov
33 weeks 3 days ago
by Anton Salikhmetov
 V-Parser150 weeks 6 hours ago
by Ivan Vodišek
49 weeks 6 days ago
by Ivan Vodišek
 Are "jets" a good idea?351 year 2 weeks ago
by xkapastel
35 weeks 1 day ago
by peterseymour
 Help with Herbelin121 year 6 weeks ago
by jimdesu
47 weeks 2 days ago
by gasche
 Project Loom: adding fibers and continuations to Java111 year 7 weeks ago
by Rys McCusker
47 weeks 2 days ago
by J Muhammad Houshyar
 Non-determinism: a sublanguage rather than a monad1481 year 8 weeks ago
by Greg Buchholz
1 year 2 weeks ago
by Keean Schupke
 A Framework for Gradual Memory Management01 year 9 weeks ago
by jondgoodwin
n/a
 Programming language Theme-D21 year 9 weeks ago
by tohoyn
22 weeks 4 days ago
by Manuel J. Simoni
 The Platonic Solids of Software Construction and Their Realization in C481 year 9 weeks ago
by bryanedds
1 year 7 weeks ago
by e
 BCS FACS - Annual Peter Landin Semantics Seminar: Compiling Without Continuations, Prof Simon Peyton Jones, 12th Dec, 6pm, Lon01 year 9 weeks ago
by paulboca
n/a
 SK in Prolog51 year 10 weeks ago
by marco
1 year 9 weeks ago
by Keean Schupke
 Advancement in TDFA and POSIX submatch extraction01 year 11 weeks ago
by Ulya Trofimovich
n/a
 Language features for tracing JIT?121 year 13 weeks ago
by Luke Gorrie
1 year 12 weeks ago
by HeikoWengler
XML feed