LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Expressions of Change75 years 48 weeks ago
by vanschelven
5 years 47 weeks ago
by Matt M
 The Heron Programming Language05 years 48 weeks ago
by cdiggins
n/a
 Popr Tutorial: Dot Machines235 years 51 weeks ago
by Dustin DeWeese
5 years 49 weeks ago
by Dustin DeWeese
 LIVE 2018 CFP16 years 2 weeks ago
by Sean McDirmid
5 years 49 weeks ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages3113 years 50 weeks ago
by Ray Dillinger
5 years 51 weeks ago
by johnwcowan
 An impure solution to the problem of matching fans146 years 12 weeks ago
by Anton Salikhmetov
6 years 2 days ago
by Anton Salikhmetov
 Egel Language v0.0.266 years 1 week ago
by marco
6 years 1 week ago
by marco
 Non-transitivity of type unification26 years 1 week ago
by AntC
6 years 1 week ago
by Matt M
 Are "jets" a good idea?356 years 21 weeks ago
by xkapastel
6 years 2 weeks ago
by peterseymour
 Are Monads a Waste of Time?1546 years 5 weeks ago
by Keean Schupke
6 years 2 weeks ago
by John Shutt
 GADTs as gaurds466 years 3 weeks ago
by Matt M
6 years 2 weeks ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?136 years 3 weeks ago
by Paulo Torrens
6 years 2 weeks ago
by cpurdy
 Bottom116 years 5 weeks ago
by marco
6 years 2 weeks ago
by johnwcowan
 Anna: A KVS For Any Scale06 years 3 weeks ago
by naasking
n/a
 Anything recent happening with multi-stage programming?136 years 3 weeks ago
by David Teller
6 years 3 weeks ago
by David Teller
 Generics and Reverse Generics for Dynamic Languages56 years 5 weeks ago
by Greg Buchholz
6 years 3 weeks ago
by Ehud Lamm
 Type systems for acyclic terms46 years 7 weeks ago
by marco
6 years 7 weeks ago
by marco
 Mark – A simple and unified notation for both object and markup data06 years 7 weeks ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem56 years 9 weeks ago
by chrisoliver
6 years 8 weeks ago
by marco
 Programming by poking: why MIT stopped teaching SICP387 years 47 weeks ago
by Sean McDirmid
6 years 9 weeks ago
by ralphw
 Interesting new paper from T. Sweeney and others2710 years 34 weeks ago
by jasonwatkinspdx
6 years 9 weeks ago
by Anton van Straaten
 Refining Structured Type System577 years 7 weeks ago
by Ivan V.
6 years 12 weeks ago
by Ivan V.
 Algebra Of Pointers387 years 46 weeks ago
by Keean Schupke
6 years 12 weeks ago
by Keean Schupke
 Project Loom: adding fibers and continuations to Java116 years 26 weeks ago
by Rys McCusker
6 years 14 weeks ago
by J Muhammad Houshyar
 Help with Herbelin126 years 25 weeks ago
by jimdesu
6 years 14 weeks ago
by gasche
XML feed