LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Type Bombs2238 weeks 3 days ago
by marco
35 weeks 4 days ago
by Stephen Dolan
 terminology for scope of discourse, i.e. CS-domain638 weeks 4 days ago
by Rys McCusker
37 weeks 6 days ago
by Rys McCusker
 Expressions of Change738 weeks 6 days ago
by vanschelven
38 weeks 16 hours ago
by Matt M
 The Heron Programming Language038 weeks 4 days ago
by cdiggins
n/a
 Popr Tutorial: Dot Machines2341 weeks 5 days ago
by Dustin DeWeese
39 weeks 5 days ago
by Dustin DeWeese
 LIVE 2018 CFP145 weeks 15 hours ago
by Sean McDirmid
40 weeks 15 hours ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages318 years 40 weeks ago
by Ray Dillinger
41 weeks 3 days ago
by johnwcowan
 An impure solution to the problem of matching fans141 year 2 weeks ago
by Anton Salikhmetov
42 weeks 5 days ago
by Anton Salikhmetov
 Egel Language v0.0.2643 weeks 4 days ago
by marco
43 weeks 3 days ago
by marco
 Non-transitivity of type unification244 weeks 1 day ago
by AntC
44 weeks 1 day ago
by Matt M
 Are "jets" a good idea?351 year 11 weeks ago
by xkapastel
44 weeks 3 days ago
by peterseymour
 Are Monads a Waste of Time?15448 weeks 3 days ago
by Keean Schupke
44 weeks 4 days ago
by John Shutt
 GADTs as gaurds4645 weeks 5 days ago
by Matt M
44 weeks 5 days ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1345 weeks 6 days ago
by Paulo Torrens
44 weeks 6 days ago
by cpurdy
 Bottom1147 weeks 4 days ago
by marco
45 weeks 2 days ago
by johnwcowan
 Anna: A KVS For Any Scale045 weeks 3 days ago
by naasking
n/a
 Anything recent happening with multi-stage programming?1346 weeks 22 hours ago
by David Teller
45 weeks 4 days ago
by David Teller
 Generics and Reverse Generics for Dynamic Languages548 weeks 1 day ago
by Greg Buchholz
45 weeks 6 days ago
by Ehud Lamm
 Type systems for acyclic terms449 weeks 5 days ago
by marco
49 weeks 4 days ago
by marco
 Mark – A simple and unified notation for both object and markup data049 weeks 5 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem551 weeks 4 days ago
by chrisoliver
50 weeks 4 days ago
by marco
 Programming by poking: why MIT stopped teaching SICP382 years 37 weeks ago
by Sean McDirmid
51 weeks 4 days ago
by ralphw
 Interesting new paper from T. Sweeney and others275 years 24 weeks ago
by jasonwatkinspdx
1 year 3 hours ago
by Anton van Straaten
 Refining Structured Type System571 year 49 weeks ago
by Ivan Vodišek
1 year 3 weeks ago
by Ivan Vodišek
 Algebra Of Pointers382 years 37 weeks ago
by Keean Schupke
1 year 3 weeks ago
by Keean Schupke
XML feed