LtU Forum

 TopicRepliesCreatedLast reply sort icon
 How to decrease bugs in the code105 weeks 3 days ago
by akira
3 days 9 hours ago
by skaller
 AsyncFlows: Structured Asynchronous Programming06 days 17 hours ago
by const
n/a
 Best value for overloading?141 year 45 weeks ago
by naasking
2 weeks 14 hours ago
by naasking
 How to generate branch tables from SSA form?25 weeks 4 days ago
by Paulo Torrens
3 weeks 6 days ago
by Paulo Torrens
 Semantic Design with SEDELA04 weeks 5 days ago
by bryanedds
n/a
 BF Bignum: A Program Synthesis Game25 weeks 4 days ago
by xkapastel
5 weeks 3 days ago
by xkapastel
 Lambda calculus16 weeks 19 hours ago
by hbrandl
6 weeks 10 hours ago
by John Shutt
 Prior art for reifying lifecycle910 weeks 1 day ago
by mikesamuel
9 weeks 6 days ago
by mikesamuel
 Higher Order Functions Considered Unnecessary for Higher Order Programming210 weeks 18 hours ago
by irisjay
10 weeks 17 hours ago
by mikesamuel
 Upward confluence in the interaction calculus213 weeks 3 days ago
by Anton Salikhmetov
11 weeks 3 days ago
by Anton Salikhmetov
 Programming language Theme-D21 year 6 days ago
by tohoyn
14 weeks 2 days ago
by Manuel J. Simoni
 C++ fun916 weeks 4 days ago
by chrisoliver
14 weeks 4 days ago
by shap
 New DSL for secueity015 weeks 2 days ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions716 weeks 1 day ago
by artemonster
16 weeks 1 hour ago
by artemonster
 Proof system for learning basic algebra718 weeks 3 days ago
by Edwin Zacharias
16 weeks 6 days ago
by Julian Rohrhuber
 Type Bombs2220 weeks 6 days ago
by marco
18 weeks 1 day ago
by Stephen Dolan
 terminology for scope of discourse, i.e. CS-domain621 weeks 13 hours ago
by Rys McCusker
20 weeks 2 days ago
by Rys McCusker
 Expressions of Change721 weeks 2 days ago
by vanschelven
20 weeks 3 days ago
by Matt M
 The Heron Programming Language021 weeks 7 hours ago
by cdiggins
n/a
 Popr Tutorial: Dot Machines2324 weeks 1 day ago
by Dustin DeWeese
22 weeks 1 day ago
by Dustin DeWeese
 LIVE 2018 CFP127 weeks 3 days ago
by Sean McDirmid
22 weeks 3 days ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages318 years 23 weeks ago
by Ray Dillinger
23 weeks 6 days ago
by johnwcowan
 An impure solution to the problem of matching fans1437 weeks 3 days ago
by Anton Salikhmetov
25 weeks 1 day ago
by Anton Salikhmetov
 Egel Language v0.0.2626 weeks 21 hours ago
by marco
25 weeks 6 days ago
by marco
 Non-transitivity of type unification226 weeks 5 days ago
by AntC
26 weeks 4 days ago
by Matt M
XML feed