LtU Forum

 TopicRepliesCreatedLast reply sort icon
 ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) 28 years 8 weeks ago
by j4n bur53
1 year 34 weeks ago
by j4n bur53
 For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"141 year 50 weeks ago
by mamcx
1 year 38 weeks ago
by shap
 A pretty printing algorithm01 year 50 weeks ago
by hbrandl
n/a
 CPS for the win?32 years 21 weeks ago
by raould
1 year 51 weeks ago
by John Shutt
 Video on Unison/comparison to Haskell/Monads/distributed computing562 years 15 weeks ago
by AntC
2 years 1 week ago
by John Shutt
 Paper on ParaSail published in <Programming> journal V3.3; new release also available02 years 3 weeks ago
by sttaft
n/a
 Looking for papers on covariance and contravariance72 years 10 weeks ago
by AaronNGray
2 years 3 weeks ago
by sttaft
 Functional Design Patterns - Relating Haskell Typeclasses to Software Design Patterns02 years 12 weeks ago
by ThomasMahler
n/a
 Lambdas and objects as an existential type62 years 18 weeks ago
by const
2 years 12 weeks ago
by Jon Purdy
 POLA Would Have Prevented the Event-Stream Incident02 years 13 weeks ago
by MarkM
n/a
 Video on Continuations12 years 21 weeks ago
by johnnyb
2 years 20 weeks ago
by John Shutt
 Flix on the JVM for static analysis02 years 20 weeks ago
by raould
n/a
 Co-continuations: a dual to shift/reset?12 years 21 weeks ago
by xkapastel
2 years 21 weeks ago
by Charles Stewart
 A pointer is an integer with a shiv02 years 23 weeks ago
by Charles Stewart
n/a
 How to decrease bugs in the code102 years 29 weeks ago
by akira
2 years 24 weeks ago
by skaller
 AsyncFlows: Structured Asynchronous Programming02 years 24 weeks ago
by const
n/a
 Best value for overloading?144 years 17 weeks ago
by naasking
2 years 25 weeks ago
by naasking
 How to generate branch tables from SSA form?22 years 29 weeks ago
by Paulo Torrens
2 years 27 weeks ago
by Paulo Torrens
 Semantic Design with SEDELA02 years 28 weeks ago
by bryanedds
n/a
 BF Bignum: A Program Synthesis Game22 years 29 weeks ago
by xkapastel
2 years 29 weeks ago
by xkapastel
 Lambda calculus12 years 30 weeks ago
by hbrandl
2 years 29 weeks ago
by John Shutt
 Prior art for reifying lifecycle92 years 34 weeks ago
by mikesamuel
2 years 33 weeks ago
by mikesamuel
 Higher Order Functions Considered Unnecessary for Higher Order Programming22 years 34 weeks ago
by irisjae
2 years 33 weeks ago
by mikesamuel
 Upward confluence in the interaction calculus22 years 37 weeks ago
by Anton Salikhmetov
2 years 35 weeks ago
by Anton Salikhmetov
 Programming language Theme-D23 years 24 weeks ago
by Tommi Höynälänmaa
2 years 38 weeks ago
by Manuel J. Simoni
XML feed