LtU Forum

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