LtU Forum

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