LtU Forum

 TopicRepliesCreatedLast reply sort icon
 LIVE 2018 CFP131 weeks 4 days ago
by Sean McDirmid
26 weeks 4 days ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages318 years 27 weeks ago
by Ray Dillinger
28 weeks 12 hours ago
by johnwcowan
 An impure solution to the problem of matching fans1441 weeks 4 days ago
by Anton Salikhmetov
29 weeks 2 days ago
by Anton Salikhmetov
 Egel Language v0.0.2630 weeks 1 day ago
by marco
30 weeks 12 hours ago
by marco
 Non-transitivity of type unification230 weeks 5 days ago
by AntC
30 weeks 5 days ago
by Matt M
 Are "jets" a good idea?3550 weeks 1 day ago
by xkapastel
31 weeks 20 hours ago
by peterseymour
 Are Monads a Waste of Time?15435 weeks 2 hours ago
by Keean Schupke
31 weeks 1 day ago
by John Shutt
 GADTs as gaurds4632 weeks 2 days ago
by Matt M
31 weeks 2 days ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1332 weeks 3 days ago
by Paulo Torrens
31 weeks 3 days ago
by cpurdy
 Bottom1134 weeks 1 day ago
by marco
31 weeks 6 days ago
by johnwcowan
 Anna: A KVS For Any Scale032 weeks 13 hours ago
by naasking
n/a
 Anything recent happening with multi-stage programming?1332 weeks 4 days ago
by David Teller
32 weeks 1 day ago
by David Teller
 Generics and Reverse Generics for Dynamic Languages534 weeks 5 days ago
by Greg Buchholz
32 weeks 3 days ago
by Ehud Lamm
 Type systems for acyclic terms436 weeks 2 days ago
by marco
36 weeks 1 day ago
by marco
 Mark – A simple and unified notation for both object and markup data036 weeks 3 days ago
by Henry Luo
n/a
 Defunctionalization+Refunctionalization+Expression Problem538 weeks 1 day ago
by chrisoliver
37 weeks 1 day ago
by marco
 Programming by poking: why MIT stopped teaching SICP382 years 24 weeks ago
by Sean McDirmid
38 weeks 1 day ago
by ralphw
 Interesting new paper from T. Sweeney and others275 years 11 weeks ago
by jasonwatkinspdx
38 weeks 5 days ago
by Anton van Straaten
 Refining Structured Type System571 year 36 weeks ago
by Ivan Vodišek
41 weeks 5 days ago
by Ivan Vodišek
 Algebra Of Pointers382 years 23 weeks ago
by Keean Schupke
41 weeks 6 days ago
by Keean Schupke
 Project Loom: adding fibers and continuations to Java111 year 3 weeks ago
by Rys McCusker
43 weeks 1 day ago
by J Muhammad Houshyar
 Help with Herbelin121 year 2 weeks ago
by jimdesu
43 weeks 1 day ago
by gasche
 Actual programs written in FP or FL?1112 years 45 weeks ago
by James Hague
43 weeks 4 days ago
by Stefan Cygon
 V-Parser145 weeks 6 days ago
by Ivan Vodišek
45 weeks 6 days ago
by Ivan Vodišek
 A Functional Representation of Data Structures with a Hole (1998)974 years 11 weeks ago
by Vladimir Slepnev
46 weeks 22 hours ago
by skaller
XML feed