LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Upward confluence in the interaction calculus02 days 10 hours ago
by Anton Salikhmetov
n/a
 Programming language Theme-D240 weeks 3 hours ago
by tohoyn
1 week 2 days ago
by Manuel J. Simoni
 C++ fun93 weeks 3 days ago
by chrisoliver
1 week 3 days ago
by shap
 New DSL for secueity02 weeks 1 day ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions73 weeks 23 hours ago
by artemonster
2 weeks 6 days ago
by artemonster
 Proof system for learning basic algebra75 weeks 3 days ago
by Edwin Zacharias
3 weeks 5 days ago
by Julian Rohrhuber
 Type Bombs227 weeks 5 days ago
by marco
5 weeks 8 hours ago
by Stephen Dolan
 terminology for scope of discourse, i.e. CS-domain67 weeks 6 days ago
by Rys McCusker
7 weeks 1 day ago
by Rys McCusker
 Expressions of Change78 weeks 1 day ago
by vanschelven
7 weeks 3 days ago
by Matt M
 The Heron Programming Language07 weeks 6 days ago
by cdiggins
n/a
 Popr Tutorial: Dot Machines2311 weeks 1 day ago
by Dustin DeWeese
9 weeks 21 hours ago
by Dustin DeWeese
 LIVE 2018 CFP114 weeks 3 days ago
by Sean McDirmid
9 weeks 3 days ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages318 years 10 weeks ago
by Ray Dillinger
10 weeks 5 days ago
by johnwcowan
 An impure solution to the problem of matching fans1424 weeks 3 days ago
by Anton Salikhmetov
12 weeks 1 day ago
by Anton Salikhmetov
 Egel Language v0.0.2613 weeks 4 hours ago
by marco
12 weeks 5 days ago
by marco
 Non-transitivity of type unification213 weeks 4 days ago
by AntC
13 weeks 4 days ago
by Matt M
 Are "jets" a good idea?3532 weeks 6 days ago
by xkapastel
13 weeks 6 days ago
by peterseymour
 Are Monads a Waste of Time?15417 weeks 5 days ago
by Keean Schupke
13 weeks 6 days ago
by John Shutt
 GADTs as gaurds4615 weeks 1 day ago
by Matt M
14 weeks 23 hours ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1315 weeks 2 days ago
by Paulo Torrens
14 weeks 2 days ago
by cpurdy
 Bottom1117 weeks 22 min ago
by marco
14 weeks 5 days ago
by johnwcowan
 Anna: A KVS For Any Scale014 weeks 5 days ago
by naasking
n/a
 Anything recent happening with multi-stage programming?1315 weeks 3 days ago
by David Teller
15 weeks 3 hours ago
by David Teller
 Generics and Reverse Generics for Dynamic Languages517 weeks 3 days ago
by Greg Buchholz
15 weeks 2 days ago
by Ehud Lamm
 Type systems for acyclic terms419 weeks 15 hours ago
by marco
18 weeks 6 days ago
by marco
XML feed