LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Programming language Theme-D21 year 27 weeks ago
by tohoyn
40 weeks 6 days ago
by Manuel J. Simoni
 C++ fun943 weeks 1 day ago
by chrisoliver
41 weeks 1 day ago
by shap
 New DSL for secueity041 weeks 6 days ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions742 weeks 5 days ago
by artemonster
42 weeks 3 days ago
by artemonster
 Proof system for learning basic algebra745 weeks 20 hours ago
by Edwin Zacharias
43 weeks 3 days ago
by Julian Rohrhuber
 Type Bombs2247 weeks 3 days ago
by marco
44 weeks 4 days ago
by Stephen Dolan
 terminology for scope of discourse, i.e. CS-domain647 weeks 4 days ago
by Rys McCusker
46 weeks 6 days ago
by Rys McCusker
 Expressions of Change747 weeks 6 days ago
by vanschelven
47 weeks 16 hours ago
by Matt M
 The Heron Programming Language047 weeks 4 days ago
by cdiggins
n/a
 Popr Tutorial: Dot Machines2350 weeks 5 days ago
by Dustin DeWeese
48 weeks 5 days ago
by Dustin DeWeese
 LIVE 2018 CFP11 year 1 week ago
by Sean McDirmid
49 weeks 15 hours ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages318 years 49 weeks ago
by Ray Dillinger
50 weeks 3 days ago
by johnwcowan
 An impure solution to the problem of matching fans141 year 11 weeks ago
by Anton Salikhmetov
51 weeks 5 days ago
by Anton Salikhmetov
 Egel Language v0.0.261 year 3 days ago
by marco
1 year 2 days ago
by marco
 Non-transitivity of type unification21 year 1 week ago
by AntC
1 year 1 week ago
by Matt M
 Are "jets" a good idea?351 year 20 weeks ago
by xkapastel
1 year 1 week ago
by peterseymour
 Are Monads a Waste of Time?1541 year 5 weeks ago
by Keean Schupke
1 year 1 week ago
by John Shutt
 GADTs as gaurds461 year 2 weeks ago
by Matt M
1 year 1 week ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?131 year 2 weeks ago
by Paulo Torrens
1 year 1 week ago
by cpurdy
 Bottom111 year 4 weeks ago
by marco
1 year 2 weeks ago
by johnwcowan
 Anna: A KVS For Any Scale01 year 2 weeks ago
by naasking
n/a
 Anything recent happening with multi-stage programming?131 year 2 weeks ago
by David Teller
1 year 2 weeks ago
by David Teller
 Generics and Reverse Generics for Dynamic Languages51 year 5 weeks ago
by Greg Buchholz
1 year 2 weeks ago
by Ehud Lamm
 Type systems for acyclic terms41 year 6 weeks ago
by marco
1 year 6 weeks ago
by marco
 Mark – A simple and unified notation for both object and markup data01 year 6 weeks ago
by Henry Luo
n/a
XML feed