LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Session Types for Purely Functional Process Networks66 years 31 weeks ago
by dmbarbour
6 years 31 weeks ago
by dmbarbour
 NDArray/multi-columnar with efficient CRUD operations?06 years 31 weeks ago
by mamcx
n/a
 CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems06 years 34 weeks ago
by eeide
n/a
 Applied Category Theory and Categorical Query Language06 years 34 weeks ago
by Ryan Wisnesky
n/a
 ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) 213 years 8 weeks ago
by j4n bur53
6 years 35 weeks ago
by j4n bur53
 For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"146 years 50 weeks ago
by mamcx
6 years 39 weeks ago
by shap
 A pretty printing algorithm06 years 50 weeks ago
by hbrandl
n/a
 CPS for the win?37 years 21 weeks ago
by raould
6 years 51 weeks ago
by John Shutt
 Video on Unison/comparison to Haskell/Monads/distributed computing567 years 15 weeks ago
by AntC
7 years 1 week ago
by John Shutt
 Paper on ParaSail published in <Programming> journal V3.3; new release also available07 years 3 weeks ago
by sttaft
n/a
 Looking for papers on covariance and contravariance77 years 10 weeks ago
by AaronNGray
7 years 3 weeks ago
by sttaft
 Functional Design Patterns - Relating Haskell Typeclasses to Software Design Patterns07 years 12 weeks ago
by ThomasMahler
n/a
 Lambdas and objects as an existential type67 years 18 weeks ago
by const
7 years 13 weeks ago
by Jon Purdy
 POLA Would Have Prevented the Event-Stream Incident07 years 13 weeks ago
by MarkM
n/a
 Video on Continuations17 years 21 weeks ago
by johnnyb
7 years 21 weeks ago
by John Shutt
 Flix on the JVM for static analysis07 years 21 weeks ago
by raould
n/a
 Co-continuations: a dual to shift/reset?17 years 21 weeks ago
by xkapastel
7 years 21 weeks ago
by Charles Stewart
 A pointer is an integer with a shiv07 years 23 weeks ago
by Charles Stewart
n/a
 How to decrease bugs in the code107 years 29 weeks ago
by akira
7 years 24 weeks ago
by skaller
 AsyncFlows: Structured Asynchronous Programming07 years 25 weeks ago
by const
n/a
 Best value for overloading?149 years 17 weeks ago
by naasking
7 years 26 weeks ago
by naasking
 How to generate branch tables from SSA form?27 years 29 weeks ago
by Paulo Torrens
7 years 28 weeks ago
by Paulo Torrens
 Semantic Design with SEDELA07 years 28 weeks ago
by bryanedds
n/a
 BF Bignum: A Program Synthesis Game27 years 29 weeks ago
by xkapastel
7 years 29 weeks ago
by xkapastel
 Lambda calculus17 years 30 weeks ago
by hbrandl
7 years 30 weeks ago
by John Shutt
XML feed