LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Async/await vs coroutines?820 weeks 4 days ago
by Matthew OConnor
19 weeks 3 days ago
by shap
 Exhaustiveness checks for algorithms that manipulate imperative data structures421 weeks 1 day ago
by Eduardo León
21 weeks 1 hour ago
by Eduardo León
 Abstraction Tiers of Notations1311 year 51 weeks ago
by const
23 weeks 23 hours ago
by Mats
 Programming in Lambda Calculus330 weeks 1 day ago
by hbrandl
30 weeks 1 day ago
by John Shutt
 Idris2 is self-hosting135 weeks 5 days ago
by Ohad Kammar
32 weeks 4 days ago
by Charles Stewart
 modus_ponens, a library to develop inference engines.035 weeks 5 days ago
by Enrique Perez Arnaud
n/a
 Owl: A parser generator for visibly pushdown languages.038 weeks 1 day ago
by helltone
n/a
 IEEE Scheme expiring soon904 years 42 weeks ago
by johnwcowan
40 weeks 5 days ago
by Tommi Höynälänmaa
 Functional Constructors in Theme-D045 weeks 6 days ago
by Tommi Höynälänmaa
n/a
 Various desired forms of reasonableness11 year 1 week ago
by raould
50 weeks 2 days ago
by John Shutt
 Stepanov and McJones: Elements of Programming411 years 24 weeks ago
by Tom Duff
1 year 1 week ago
by Ben Karel
 The Way-Too-Early announce: Ecstasy61 year 28 weeks ago
by cpurdy
1 year 10 weeks ago
by cpurdy
 Bjarne Stroustrup interview on Youtube.01 year 11 weeks ago
by Ray Dillinger
n/a
 Advantages of pointfree?3611 years 45 weeks ago
by John Nowak
1 year 14 weeks ago
by dmbarbour
 Histogram: You have to know the past to understand the present by Tomas Petricek11 year 18 weeks ago
by spdegabrielle
1 year 17 weeks ago
by Z-Bo
 Streaming Language Rewrite Processing (SLRP)271 year 48 weeks ago
by dmbarbour
1 year 23 weeks ago
by dmbarbour
 Rope81 year 25 weeks ago
by jocob_knight
1 year 24 weeks ago
by jocob_knight
 A production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts)11 year 28 weeks ago
by Enrique Perez Arnaud
1 year 24 weeks ago
by Enrique Perez Arnaud
 Session Types for Purely Functional Process Networks61 year 25 weeks ago
by dmbarbour
1 year 25 weeks ago
by dmbarbour
 NDArray/multi-columnar with efficient CRUD operations?01 year 25 weeks ago
by mamcx
n/a
 CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems01 year 28 weeks ago
by eeide
n/a
 Applied Category Theory and Categorical Query Language01 year 28 weeks ago
by Ryan Wisnesky
n/a
 ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) 28 years 2 weeks ago
by j4n bur53
1 year 29 weeks ago
by j4n bur53
 For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"141 year 44 weeks ago
by mamcx
1 year 33 weeks ago
by shap
 A pretty printing algorithm01 year 44 weeks ago
by hbrandl
n/a
XML feed