LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Proof system for learning basic algebra41 week 1 day ago
by Edwin Zacharias
1 day 19 hours ago
by Matt M
 Type Bombs223 weeks 3 days ago
by marco
5 days 10 hours ago
by Stephen Dolan
 terminology for scope of discourse, i.e. CS-domain63 weeks 4 days ago
by Rys McCusker
2 weeks 6 days ago
by Rys McCusker
 Expressions of Change73 weeks 6 days ago
by vanschelven
3 weeks 1 day ago
by Matt M
 The Heron Programming Language03 weeks 4 days ago
by cdiggins
n/a
 Popr Tutorial: Dot Machines236 weeks 6 days ago
by Dustin DeWeese
4 weeks 5 days ago
by Dustin DeWeese
 LIVE 2018 CFP110 weeks 1 day ago
by Sean McDirmid
5 weeks 1 day ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages318 years 5 weeks ago
by Ray Dillinger
6 weeks 3 days ago
by johnwcowan
 An impure solution to the problem of matching fans1420 weeks 1 day ago
by Anton Salikhmetov
7 weeks 6 days ago
by Anton Salikhmetov
 Egel Language v0.0.268 weeks 5 days ago
by marco
8 weeks 3 days ago
by marco
 Non-transitivity of type unification29 weeks 2 days ago
by AntC
9 weeks 2 days ago
by Matt M
 Are "jets" a good idea?3528 weeks 4 days ago
by xkapastel
9 weeks 4 days ago
by peterseymour
 Are Monads a Waste of Time?15413 weeks 3 days ago
by Keean Schupke
9 weeks 4 days ago
by John Shutt
 GADTs as gaurds4610 weeks 6 days ago
by Matt M
9 weeks 6 days ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1311 weeks 4 hours ago
by Paulo Torrens
10 weeks 9 hours ago
by cpurdy
 Bottom1112 weeks 5 days ago
by marco
10 weeks 3 days ago
by johnwcowan
 Anna: A KVS For Any Scale010 weeks 4 days ago
by naasking
n/a
 Anything recent happening with multi-stage programming?1311 weeks 1 day ago
by David Teller
10 weeks 5 days ago
by David Teller
 Generics and Reverse Generics for Dynamic Languages513 weeks 2 days ago
by Greg Buchholz
11 weeks 3 hours ago
by Ehud Lamm
 Type systems for acyclic terms414 weeks 5 days ago
by marco
14 weeks 4 days ago
by marco
 Mark – A simple and unified notation for both object and markup data014 weeks 6 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem516 weeks 4 days ago
by chrisoliver
15 weeks 4 days ago
by marco
 Programming by poking: why MIT stopped teaching SICP382 years 2 weeks ago
by Sean McDirmid
16 weeks 4 days ago
by ralphw
 Interesting new paper from T. Sweeney and others274 years 42 weeks ago
by jasonwatkinspdx
17 weeks 1 day ago
by Anton van Straaten
 Refining Structured Type System571 year 14 weeks ago
by Ivan Vodišek
20 weeks 2 days ago
by Ivan Vodišek
XML feed