LtU Forum

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