LtU Forum

 TopicRepliesCreated sort iconLast reply
 Flix on the JVM for static analysis01 week 5 days ago
by raould
n/a
 Video on Continuations11 week 5 days ago
by johnnyb
1 week 5 days ago
by John Shutt
 CPS for the win?12 weeks 2 hours ago
by raould
1 week 6 days ago
by johnwcowan
 Co-continuations: a dual to shift/reset?12 weeks 2 days ago
by xkapastel
2 weeks 1 day ago
by Charles Stewart
 A pointer is an integer with a shiv03 weeks 6 days ago
by Charles Stewart
n/a
 AsyncFlows: Structured Asynchronous Programming05 weeks 4 days ago
by const
n/a
 Semantic Design with SEDELA09 weeks 3 days ago
by bryanedds
n/a
 How to decrease bugs in the code1010 weeks 1 day ago
by akira
5 weeks 1 day ago
by skaller
 BF Bignum: A Program Synthesis Game210 weeks 1 day ago
by xkapastel
10 weeks 1 day ago
by xkapastel
 How to generate branch tables from SSA form?210 weeks 2 days ago
by Paulo Torrens
8 weeks 4 days ago
by Paulo Torrens
 Lambda calculus110 weeks 5 days ago
by hbrandl
10 weeks 5 days ago
by John Shutt
 Higher Order Functions Considered Unnecessary for Higher Order Programming214 weeks 5 days ago
by irisjay
14 weeks 5 days ago
by mikesamuel
 Prior art for reifying lifecycle914 weeks 6 days ago
by mikesamuel
14 weeks 4 days ago
by mikesamuel
 Upward confluence in the interaction calculus218 weeks 18 hours ago
by Anton Salikhmetov
16 weeks 16 hours ago
by Anton Salikhmetov
 New DSL for secueity020 weeks 3 hours ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions720 weeks 6 days ago
by artemonster
20 weeks 4 days ago
by artemonster
 C++ fun921 weeks 2 days ago
by chrisoliver
19 weeks 2 days ago
by shap
 Proof system for learning basic algebra723 weeks 1 day ago
by Edwin Zacharias
21 weeks 4 days ago
by Julian Rohrhuber
 Type Bombs2225 weeks 4 days ago
by marco
22 weeks 5 days ago
by Stephen Dolan
 The Heron Programming Language025 weeks 4 days ago
by cdiggins
n/a
 terminology for scope of discourse, i.e. CS-domain625 weeks 5 days ago
by Rys McCusker
25 weeks 3 hours ago
by Rys McCusker
 Expressions of Change725 weeks 6 days ago
by vanschelven
25 weeks 1 day ago
by Matt M
 Popr Tutorial: Dot Machines2328 weeks 6 days ago
by Dustin DeWeese
26 weeks 6 days ago
by Dustin DeWeese
 Egel Language v0.0.2630 weeks 5 days ago
by marco
30 weeks 4 days ago
by marco
 Non-transitivity of type unification231 weeks 2 days ago
by AntC
31 weeks 2 days ago
by Matt M
XML feed