LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Lambdas and objects as an existential type52 weeks 1 day ago
by const
2 weeks 1 day ago
by const
 Video on Continuations14 weeks 5 days ago
by johnnyb
4 weeks 4 days ago
by John Shutt
 Flix on the JVM for static analysis04 weeks 5 days ago
by raould
n/a
 CPS for the win?15 weeks 1 hour ago
by raould
4 weeks 6 days ago
by johnwcowan
 Co-continuations: a dual to shift/reset?15 weeks 2 days ago
by xkapastel
5 weeks 1 day ago
by Charles Stewart
 A pointer is an integer with a shiv06 weeks 6 days ago
by Charles Stewart
n/a
 How to decrease bugs in the code1013 weeks 1 day ago
by akira
8 weeks 1 day ago
by skaller
 AsyncFlows: Structured Asynchronous Programming08 weeks 4 days ago
by const
n/a
 Best value for overloading?142 years 1 week ago
by naasking
9 weeks 5 days ago
by naasking
 How to generate branch tables from SSA form?213 weeks 2 days ago
by Paulo Torrens
11 weeks 4 days ago
by Paulo Torrens
 Semantic Design with SEDELA012 weeks 3 days ago
by bryanedds
n/a
 BF Bignum: A Program Synthesis Game213 weeks 1 day ago
by xkapastel
13 weeks 1 day ago
by xkapastel
 Lambda calculus113 weeks 5 days ago
by hbrandl
13 weeks 5 days ago
by John Shutt
 Prior art for reifying lifecycle917 weeks 6 days ago
by mikesamuel
17 weeks 4 days ago
by mikesamuel
 Higher Order Functions Considered Unnecessary for Higher Order Programming217 weeks 5 days ago
by irisjay
17 weeks 5 days ago
by mikesamuel
 Upward confluence in the interaction calculus221 weeks 17 hours ago
by Anton Salikhmetov
19 weeks 16 hours ago
by Anton Salikhmetov
 Programming language Theme-D21 year 8 weeks ago
by tohoyn
22 weeks 11 hours ago
by Manuel J. Simoni
 C++ fun924 weeks 2 days ago
by chrisoliver
22 weeks 2 days ago
by shap
 New DSL for secueity023 weeks 3 hours ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions723 weeks 6 days ago
by artemonster
23 weeks 4 days ago
by artemonster
 Proof system for learning basic algebra726 weeks 1 day ago
by Edwin Zacharias
24 weeks 4 days ago
by Julian Rohrhuber
 Type Bombs2228 weeks 4 days ago
by marco
25 weeks 5 days ago
by Stephen Dolan
 terminology for scope of discourse, i.e. CS-domain628 weeks 5 days ago
by Rys McCusker
28 weeks 2 hours ago
by Rys McCusker
 Expressions of Change728 weeks 6 days ago
by vanschelven
28 weeks 1 day ago
by Matt M
 The Heron Programming Language028 weeks 4 days ago
by cdiggins
n/a
XML feed