LtU Forum

 TopicRepliesCreated sort iconLast reply
 How to decrease bugs in the code62 days 10 hours ago
by akira
13 hours 2 min ago
by naasking
 BF Bignum: A Program Synthesis Game23 days 58 min ago
by xkapastel
2 days 15 hours ago
by xkapastel
 How to generate branch tables from SSA form?03 days 6 hours ago
by Paulo Torrens
n/a
 Lambda calculus16 days 11 hours ago
by hbrandl
6 days 3 hours ago
by John Shutt
 Higher Order Functions Considered Unnecessary for Higher Order Programming24 weeks 6 days ago
by irisjay
4 weeks 6 days ago
by mikesamuel
 Prior art for reifying lifecycle95 weeks 12 hours ago
by mikesamuel
4 weeks 5 days ago
by mikesamuel
 Upward confluence in the interaction calculus28 weeks 1 day ago
by Anton Salikhmetov
6 weeks 1 day ago
by Anton Salikhmetov
 New DSL for secueity010 weeks 1 day ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions711 weeks 8 hours ago
by artemonster
10 weeks 5 days ago
by artemonster
 C++ fun911 weeks 3 days ago
by chrisoliver
9 weeks 3 days ago
by shap
 Proof system for learning basic algebra713 weeks 2 days ago
by Edwin Zacharias
11 weeks 5 days ago
by Julian Rohrhuber
 Type Bombs2215 weeks 5 days ago
by marco
12 weeks 6 days ago
by Stephen Dolan
 The Heron Programming Language015 weeks 6 days ago
by cdiggins
n/a
 terminology for scope of discourse, i.e. CS-domain615 weeks 6 days ago
by Rys McCusker
15 weeks 1 day ago
by Rys McCusker
 Expressions of Change716 weeks 19 hours ago
by vanschelven
15 weeks 2 days ago
by Matt M
 Popr Tutorial: Dot Machines2319 weeks 10 hours ago
by Dustin DeWeese
17 weeks 6 hours ago
by Dustin DeWeese
 Egel Language v0.0.2620 weeks 6 days ago
by marco
20 weeks 5 days ago
by marco
 Non-transitivity of type unification221 weeks 3 days ago
by AntC
21 weeks 3 days ago
by Matt M
 LIVE 2018 CFP122 weeks 2 days ago
by Sean McDirmid
17 weeks 2 days ago
by Roly Perera
 Anna: A KVS For Any Scale022 weeks 5 days ago
by naasking
n/a
 GADTs as gaurds4623 weeks 9 hours ago
by Matt M
22 weeks 8 hours ago
by Keean Schupke
 Is there a functional language with explicit limits on the heap(s)?1323 weeks 1 day ago
by Paulo Torrens
22 weeks 1 day ago
by cpurdy
 Anything recent happening with multi-stage programming?1323 weeks 2 days ago
by David Teller
22 weeks 6 days ago
by David Teller
 Bottom1124 weeks 6 days ago
by marco
22 weeks 4 days ago
by johnwcowan
 Generics and Reverse Generics for Dynamic Languages525 weeks 3 days ago
by Greg Buchholz
23 weeks 1 day ago
by Ehud Lamm
XML feed