LtU Forum

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