LtU Forum

 TopicRepliesCreated sort iconLast reply
 Paper on ParaSail published in <Programming> journal V3.3; new release also available05 days 14 hours ago
by sttaft
n/a
 Abstraction Tiers of Notations302 weeks 4 days ago
by const
4 hours 34 min ago
by dmbarbour
 Looking for papers on covariance and contravariance77 weeks 3 days ago
by AaronNGray
5 days 15 hours ago
by sttaft
 Functional Design Patterns - Relating Haskell Typeclasses to Software Design Patterns09 weeks 1 day ago
by ThomasMahler
n/a
 POLA Would Have Prevented the Event-Stream Incident010 weeks 2 days ago
by MarkM
n/a
 Video on Unison/comparison to Haskell/Monads/distributed computing5212 weeks 2 days ago
by AntC
6 weeks 2 days ago
by John Shutt
 Lambdas and objects as an existential type615 weeks 4 days ago
by const
10 weeks 22 hours ago
by Jon Purdy
 Flix on the JVM for static analysis018 weeks 1 day ago
by raould
n/a
 Video on Continuations118 weeks 1 day ago
by johnnyb
18 weeks 1 day ago
by John Shutt
 CPS for the win?118 weeks 3 days ago
by raould
18 weeks 3 days ago
by johnwcowan
 Co-continuations: a dual to shift/reset?118 weeks 5 days ago
by xkapastel
18 weeks 4 days ago
by Charles Stewart
 A pointer is an integer with a shiv020 weeks 3 days ago
by Charles Stewart
n/a
 AsyncFlows: Structured Asynchronous Programming022 weeks 15 hours ago
by const
n/a
 Semantic Design with SEDELA025 weeks 6 days ago
by bryanedds
n/a
 How to decrease bugs in the code1026 weeks 4 days ago
by akira
21 weeks 4 days ago
by skaller
 BF Bignum: A Program Synthesis Game226 weeks 5 days ago
by xkapastel
26 weeks 4 days ago
by xkapastel
 How to generate branch tables from SSA form?226 weeks 5 days ago
by Paulo Torrens
25 weeks 7 hours ago
by Paulo Torrens
 Lambda calculus127 weeks 1 day ago
by hbrandl
27 weeks 1 day ago
by John Shutt
 Higher Order Functions Considered Unnecessary for Higher Order Programming231 weeks 1 day ago
by irisjae
31 weeks 1 day ago
by mikesamuel
 Prior art for reifying lifecycle931 weeks 2 days ago
by mikesamuel
31 weeks 14 hours ago
by mikesamuel
 Upward confluence in the interaction calculus234 weeks 4 days ago
by Anton Salikhmetov
32 weeks 3 days ago
by Anton Salikhmetov
 New DSL for secueity036 weeks 3 days ago
by True Konrads
n/a
 I have a problem with arguments passed as non-evaluated expressions737 weeks 2 days ago
by artemonster
37 weeks 23 hours ago
by artemonster
 C++ fun937 weeks 5 days ago
by chrisoliver
35 weeks 5 days ago
by shap
 Proof system for learning basic algebra739 weeks 4 days ago
by Edwin Zacharias
38 weeks 13 hours ago
by Julian Rohrhuber
XML feed