LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Abstraction Tiers of Notations552 weeks 4 days ago
by const
4 hours 38 min ago
by dmbarbour
 Paper on ParaSail published in <Programming> journal V3.3; new release also available06 days 8 hours ago
by sttaft
n/a
 Looking for papers on covariance and contravariance77 weeks 4 days ago
by AaronNGray
6 days 9 hours ago
by sttaft
 Video on Unison/comparison to Haskell/Monads/distributed computing5212 weeks 3 days ago
by AntC
6 weeks 3 days ago
by John Shutt
 Functional Design Patterns - Relating Haskell Typeclasses to Software Design Patterns09 weeks 2 days ago
by ThomasMahler
n/a
 Lambdas and objects as an existential type615 weeks 5 days ago
by const
10 weeks 1 day ago
by Jon Purdy
 POLA Would Have Prevented the Event-Stream Incident010 weeks 2 days ago
by MarkM
n/a
 Video on Continuations118 weeks 2 days ago
by johnnyb
18 weeks 2 days ago
by John Shutt
 Flix on the JVM for static analysis018 weeks 2 days ago
by raould
n/a
 CPS for the win?118 weeks 4 days ago
by raould
18 weeks 4 days ago
by johnwcowan
 Co-continuations: a dual to shift/reset?118 weeks 6 days ago
by xkapastel
18 weeks 5 days ago
by Charles Stewart
 A pointer is an integer with a shiv020 weeks 3 days ago
by Charles Stewart
n/a
 How to decrease bugs in the code1026 weeks 5 days ago
by akira
21 weeks 5 days ago
by skaller
 AsyncFlows: Structured Asynchronous Programming022 weeks 1 day ago
by const
n/a
 Best value for overloading?142 years 14 weeks ago
by naasking
23 weeks 2 days ago
by naasking
 How to generate branch tables from SSA form?226 weeks 6 days ago
by Paulo Torrens
25 weeks 1 day ago
by Paulo Torrens
 Semantic Design with SEDELA026 weeks 3 hours ago
by bryanedds
n/a
 BF Bignum: A Program Synthesis Game226 weeks 5 days ago
by xkapastel
26 weeks 5 days ago
by xkapastel
 Lambda calculus127 weeks 2 days ago
by hbrandl
27 weeks 2 days ago
by John Shutt
 Prior art for reifying lifecycle931 weeks 3 days ago
by mikesamuel
31 weeks 1 day ago
by mikesamuel
 Higher Order Functions Considered Unnecessary for Higher Order Programming231 weeks 2 days ago
by irisjae
31 weeks 2 days ago
by mikesamuel
 Upward confluence in the interaction calculus234 weeks 4 days ago
by Anton Salikhmetov
32 weeks 4 days ago
by Anton Salikhmetov
 Programming language Theme-D21 year 22 weeks ago
by tohoyn
35 weeks 4 days ago
by Manuel J. Simoni
 C++ fun937 weeks 6 days ago
by chrisoliver
35 weeks 6 days ago
by shap
 New DSL for secueity036 weeks 4 days ago
by True Konrads
n/a
XML feed