LtU Forum

 TopicRepliesCreated sort iconLast reply
 Proof system for learning basic algebra51 week 3 days ago
by Edwin Zacharias
4 hours 56 min ago
by Anders Horn
 Type Bombs223 weeks 6 days ago
by marco
1 week 20 hours ago
by Stephen Dolan
 The Heron Programming Language04 weeks 2 hours ago
by cdiggins
n/a
 terminology for scope of discourse, i.e. CS-domain64 weeks 8 hours ago
by Rys McCusker
3 weeks 2 days ago
by Rys McCusker
 Expressions of Change74 weeks 1 day ago
by vanschelven
3 weeks 3 days ago
by Matt M
 Popr Tutorial: Dot Machines237 weeks 1 day ago
by Dustin DeWeese
5 weeks 1 day ago
by Dustin DeWeese
 Egel Language v0.0.269 weeks 16 hours ago
by marco
8 weeks 6 days ago
by marco
 Non-transitivity of type unification29 weeks 4 days ago
by AntC
9 weeks 4 days ago
by Matt M
 LIVE 2018 CFP110 weeks 3 days ago
by Sean McDirmid
5 weeks 3 days ago
by Roly Perera
 Anna: A KVS For Any Scale010 weeks 6 days ago
by naasking
n/a
 GADTs as gaurds4611 weeks 1 day ago
by Matt M
10 weeks 1 day ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1311 weeks 2 days ago
by Paulo Torrens
10 weeks 2 days ago
by cpurdy
 Anything recent happening with multi-stage programming?1311 weeks 3 days ago
by David Teller
11 weeks 15 hours ago
by David Teller
 Bottom1113 weeks 11 hours ago
by marco
10 weeks 5 days ago
by johnwcowan
 Generics and Reverse Generics for Dynamic Languages513 weeks 4 days ago
by Greg Buchholz
11 weeks 2 days ago
by Ehud Lamm
 Are Monads a Waste of Time?15413 weeks 5 days ago
by Keean Schupke
10 weeks 6 hours ago
by John Shutt
 Type systems for acyclic terms415 weeks 1 day ago
by marco
14 weeks 6 days ago
by marco
 Mark – A simple and unified notation for both object and markup data015 weeks 1 day ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem517 weeks 9 hours ago
by chrisoliver
16 weeks 2 hours ago
by marco
 An impure solution to the problem of matching fans1420 weeks 3 days ago
by Anton Salikhmetov
8 weeks 1 day ago
by Anton Salikhmetov
 V-Parser124 weeks 5 days ago
by Ivan Vodišek
24 weeks 4 days ago
by Ivan Vodišek
 Are "jets" a good idea?3529 weeks 3 hours ago
by xkapastel
9 weeks 6 days ago
by peterseymour
 Help with Herbelin1233 weeks 1 day ago
by jimdesu
22 weeks 15 hours ago
by gasche
 Project Loom: adding fibers and continuations to Java1134 weeks 2 days ago
by Rys McCusker
22 weeks 9 hours ago
by J Muhammad Houshyar
 Non-determinism: a sublanguage rather than a monad14835 weeks 1 day ago
by Greg Buchholz
29 weeks 5 days ago
by Keean Schupke
XML feed