LtU Forum

 TopicRepliesCreated sort iconLast reply
 Type Bombs2242 weeks 1 day ago
by marco
39 weeks 3 days ago
by Stephen Dolan
 The Heron Programming Language042 weeks 2 days ago
by cdiggins
n/a
 terminology for scope of discourse, i.e. CS-domain642 weeks 3 days ago
by Rys McCusker
41 weeks 5 days ago
by Rys McCusker
 Expressions of Change742 weeks 4 days ago
by vanschelven
41 weeks 6 days ago
by Matt M
 Popr Tutorial: Dot Machines2345 weeks 4 days ago
by Dustin DeWeese
43 weeks 4 days ago
by Dustin DeWeese
 Egel Language v0.0.2647 weeks 3 days ago
by marco
47 weeks 2 days ago
by marco
 Non-transitivity of type unification248 weeks 13 hours ago
by AntC
48 weeks 8 hours ago
by Matt M
 LIVE 2018 CFP148 weeks 6 days ago
by Sean McDirmid
43 weeks 6 days ago
by Roly Perera
 Anna: A KVS For Any Scale049 weeks 2 days ago
by naasking
n/a
 GADTs as gaurds4649 weeks 4 days ago
by Matt M
48 weeks 4 days ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1349 weeks 5 days ago
by Paulo Torrens
48 weeks 5 days ago
by cpurdy
 Anything recent happening with multi-stage programming?1349 weeks 6 days ago
by David Teller
49 weeks 3 days ago
by David Teller
 Bottom1151 weeks 3 days ago
by marco
49 weeks 1 day ago
by johnwcowan
 Generics and Reverse Generics for Dynamic Languages552 weeks 4 hours ago
by Greg Buchholz
49 weeks 5 days ago
by Ehud Lamm
 Are Monads a Waste of Time?1541 year 16 hours ago
by Keean Schupke
48 weeks 2 days ago
by John Shutt
 Type systems for acyclic terms41 year 1 week ago
by marco
1 year 1 week ago
by marco
 Mark – A simple and unified notation for both object and markup data01 year 1 week ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem51 year 3 weeks ago
by chrisoliver
1 year 2 weeks ago
by marco
 An impure solution to the problem of matching fans141 year 6 weeks ago
by Anton Salikhmetov
46 weeks 4 days ago
by Anton Salikhmetov
 V-Parser11 year 11 weeks ago
by Ivan Vodišek
1 year 10 weeks ago
by Ivan Vodišek
 Are "jets" a good idea?351 year 15 weeks ago
by xkapastel
48 weeks 2 days ago
by peterseymour
 Help with Herbelin121 year 19 weeks ago
by jimdesu
1 year 8 weeks ago
by gasche
 Project Loom: adding fibers and continuations to Java111 year 20 weeks ago
by Rys McCusker
1 year 8 weeks ago
by J Muhammad Houshyar
 Non-determinism: a sublanguage rather than a monad1481 year 21 weeks ago
by Greg Buchholz
1 year 16 weeks ago
by Keean Schupke
 A Framework for Gradual Memory Management01 year 22 weeks ago
by jondgoodwin
n/a
XML feed