LtU Forum

 TopicRepliesCreatedLast reply sort icon
 For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"014 hours 26 min ago
by mamcx
n/a
 Streaming Language Rewrite Processing (SLRP)163 weeks 2 days ago
by dmbarbour
2 days 23 hours ago
by naasking
 Abstraction Tiers of Notations1306 weeks 6 days ago
by const
1 week 14 hours ago
by dmbarbour
 CPS for the win?322 weeks 5 days ago
by raould
1 week 22 hours ago
by John Shutt
 Video on Unison/comparison to Haskell/Monads/distributed computing5616 weeks 5 days ago
by AntC
2 weeks 6 days ago
by John Shutt
 Paper on ParaSail published in <Programming> journal V3.3; new release also available05 weeks 21 hours ago
by sttaft
n/a
 Looking for papers on covariance and contravariance711 weeks 5 days ago
by AaronNGray
5 weeks 21 hours ago
by sttaft
 Functional Design Patterns - Relating Haskell Typeclasses to Software Design Patterns013 weeks 3 days ago
by ThomasMahler
n/a
 Lambdas and objects as an existential type620 weeks 5 hours ago
by const
14 weeks 3 days ago
by Jon Purdy
 POLA Would Have Prevented the Event-Stream Incident014 weeks 4 days ago
by MarkM
n/a
 Video on Continuations122 weeks 4 days ago
by johnnyb
22 weeks 3 days ago
by John Shutt
 Flix on the JVM for static analysis022 weeks 3 days ago
by raould
n/a
 Co-continuations: a dual to shift/reset?123 weeks 1 day ago
by xkapastel
23 weeks 1 hour ago
by Charles Stewart
 A pointer is an integer with a shiv024 weeks 5 days ago
by Charles Stewart
n/a
 How to decrease bugs in the code1030 weeks 6 days ago
by akira
25 weeks 6 days ago
by skaller
 AsyncFlows: Structured Asynchronous Programming026 weeks 2 days ago
by const
n/a
 Best value for overloading?142 years 19 weeks ago
by naasking
27 weeks 3 days ago
by naasking
 How to generate branch tables from SSA form?231 weeks 17 hours ago
by Paulo Torrens
29 weeks 2 days ago
by Paulo Torrens
 Semantic Design with SEDELA030 weeks 1 day ago
by bryanedds
n/a
 BF Bignum: A Program Synthesis Game231 weeks 12 hours ago
by xkapastel
31 weeks 2 hours ago
by xkapastel
 Lambda calculus131 weeks 3 days ago
by hbrandl
31 weeks 3 days ago
by John Shutt
 Prior art for reifying lifecycle935 weeks 5 days ago
by mikesamuel
35 weeks 2 days ago
by mikesamuel
 Higher Order Functions Considered Unnecessary for Higher Order Programming235 weeks 3 days ago
by irisjae
35 weeks 3 days ago
by mikesamuel
 Upward confluence in the interaction calculus238 weeks 6 days ago
by Anton Salikhmetov
36 weeks 6 days ago
by Anton Salikhmetov
 Programming language Theme-D21 year 26 weeks ago
by tohoyn
39 weeks 6 days ago
by Manuel J. Simoni
XML feed