LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Looking for papers on covariance and contravariance63 weeks 5 days ago
by AaronNGray
1 week 2 days ago
by Matt M
 Video on Unison/comparison to Haskell/Monads/distributed computing528 weeks 5 days ago
by AntC
2 weeks 4 days ago
by John Shutt
 Functional Design Patterns - Relating Haskell Typeclasses to Software Design Patterns05 weeks 3 days ago
by ThomasMahler
n/a
 Lambdas and objects as an existential type612 weeks 3 hours ago
by const
6 weeks 3 days ago
by Jon Purdy
 POLA Would Have Prevented the Event-Stream Incident06 weeks 4 days ago
by MarkM
n/a
 Video on Continuations114 weeks 3 days ago
by johnnyb
14 weeks 3 days ago
by John Shutt
 Flix on the JVM for static analysis014 weeks 3 days ago
by raould
n/a
 CPS for the win?114 weeks 5 days ago
by raould
14 weeks 5 days ago
by johnwcowan
 Co-continuations: a dual to shift/reset?115 weeks 22 hours ago
by xkapastel
14 weeks 6 days ago
by Charles Stewart
 A pointer is an integer with a shiv016 weeks 5 days ago
by Charles Stewart
n/a
 How to decrease bugs in the code1022 weeks 6 days ago
by akira
17 weeks 6 days ago
by skaller
 AsyncFlows: Structured Asynchronous Programming018 weeks 2 days ago
by const
n/a
 Best value for overloading?142 years 10 weeks ago
by naasking
19 weeks 3 days ago
by naasking
 How to generate branch tables from SSA form?223 weeks 15 hours ago
by Paulo Torrens
21 weeks 2 days ago
by Paulo Torrens
 Semantic Design with SEDELA022 weeks 1 day ago
by bryanedds
n/a
 BF Bignum: A Program Synthesis Game223 weeks 10 hours ago
by xkapastel
23 weeks 47 min ago
by xkapastel
 Lambda calculus123 weeks 3 days ago
by hbrandl
23 weeks 3 days ago
by John Shutt
 Prior art for reifying lifecycle927 weeks 4 days ago
by mikesamuel
27 weeks 2 days ago
by mikesamuel
 Higher Order Functions Considered Unnecessary for Higher Order Programming227 weeks 3 days ago
by irisjay
27 weeks 3 days ago
by mikesamuel
 Upward confluence in the interaction calculus230 weeks 6 days ago
by Anton Salikhmetov
28 weeks 6 days ago
by Anton Salikhmetov
 Programming language Theme-D21 year 18 weeks ago
by tohoyn
31 weeks 5 days ago
by Manuel J. Simoni
 C++ fun934 weeks 12 hours ago
by chrisoliver
32 weeks 11 hours ago
by shap
 New DSL for secueity032 weeks 5 days ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions733 weeks 4 days ago
by artemonster
33 weeks 3 days ago
by artemonster
 Proof system for learning basic algebra736 weeks 1 hour ago
by Edwin Zacharias
34 weeks 2 days ago
by Julian Rohrhuber
XML feed