LtU Forum

 TopicRepliesCreatedLast reply sort icon
 A pointer is an integer with a shiv051 weeks 4 days ago
by Charles Stewart
n/a
 How to decrease bugs in the code101 year 5 weeks ago
by akira
1 year 4 days ago
by skaller
 AsyncFlows: Structured Asynchronous Programming01 year 1 week ago
by const
n/a
 Best value for overloading?142 years 45 weeks ago
by naasking
1 year 2 weeks ago
by naasking
 How to generate branch tables from SSA form?21 year 5 weeks ago
by Paulo Torrens
1 year 4 weeks ago
by Paulo Torrens
 Semantic Design with SEDELA01 year 4 weeks ago
by bryanedds
n/a
 BF Bignum: A Program Synthesis Game21 year 5 weeks ago
by xkapastel
1 year 5 weeks ago
by xkapastel
 Lambda calculus11 year 6 weeks ago
by hbrandl
1 year 6 weeks ago
by John Shutt
 Prior art for reifying lifecycle91 year 10 weeks ago
by mikesamuel
1 year 10 weeks ago
by mikesamuel
 Higher Order Functions Considered Unnecessary for Higher Order Programming21 year 10 weeks ago
by irisjae
1 year 10 weeks ago
by mikesamuel
 Upward confluence in the interaction calculus21 year 13 weeks ago
by Anton Salikhmetov
1 year 11 weeks ago
by Anton Salikhmetov
 Programming language Theme-D22 years 1 week ago
by tohoyn
1 year 14 weeks ago
by Manuel J. Simoni
 C++ fun91 year 16 weeks ago
by chrisoliver
1 year 14 weeks ago
by shap
 New DSL for secueity01 year 15 weeks ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions71 year 16 weeks ago
by artemonster
1 year 16 weeks ago
by artemonster
 Proof system for learning basic algebra71 year 18 weeks ago
by Edwin Zacharias
1 year 17 weeks ago
by Julian Rohrhuber
 Type Bombs221 year 21 weeks ago
by marco
1 year 18 weeks ago
by Stephen Dolan
 terminology for scope of discourse, i.e. CS-domain61 year 21 weeks ago
by Rys McCusker
1 year 20 weeks ago
by Rys McCusker
 Expressions of Change71 year 21 weeks ago
by vanschelven
1 year 20 weeks ago
by Matt M
 The Heron Programming Language01 year 21 weeks ago
by cdiggins
n/a
 Popr Tutorial: Dot Machines231 year 24 weeks ago
by Dustin DeWeese
1 year 22 weeks ago
by Dustin DeWeese
 LIVE 2018 CFP11 year 27 weeks ago
by Sean McDirmid
1 year 22 weeks ago
by Roly Perera
 Representing Type Information in Dynamically Typed Languages319 years 23 weeks ago
by Ray Dillinger
1 year 24 weeks ago
by johnwcowan
 An impure solution to the problem of matching fans141 year 37 weeks ago
by Anton Salikhmetov
1 year 25 weeks ago
by Anton Salikhmetov
 Egel Language v0.0.261 year 26 weeks ago
by marco
1 year 26 weeks ago
by marco
XML feed