LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Why is there no widely accepted progress for 50 years?3217 weeks 4 hours ago
by Milton Silva
1 day 52 min ago
by dmbarbour
 Programming in Lambda Calculus35 weeks 6 days ago
by hbrandl
5 weeks 5 days ago
by John Shutt
 Idris2 is self-hosting111 weeks 2 days ago
by Ohad Kammar
8 weeks 1 day ago
by Charles Stewart
 modus_ponens, a library to develop inference engines.011 weeks 3 days ago
by Enrique Perez Arnaud
n/a
 Owl: A parser generator for visibly pushdown languages.013 weeks 5 days ago
by helltone
n/a
 IEEE Scheme expiring soon904 years 18 weeks ago
by johnwcowan
16 weeks 2 days ago
by Tommi Höynälänmaa
 Deterministic Concurrency321 weeks 6 days ago
by Alex Berka
16 weeks 6 days ago
by Alex Berka
 Functional Constructors in Theme-D021 weeks 4 days ago
by Tommi Höynälänmaa
n/a
 Various desired forms of reasonableness128 weeks 6 days ago
by raould
25 weeks 6 days ago
by John Shutt
 Stepanov and McJones: Elements of Programming410 years 51 weeks ago
by Tom Duff
29 weeks 1 day ago
by Ben Karel
 The Way-Too-Early announce: Ecstasy61 year 3 weeks ago
by cpurdy
38 weeks 3 days ago
by cpurdy
 Bjarne Stroustrup interview on Youtube.038 weeks 5 days ago
by Ray Dillinger
n/a
 Type Mapping in Source-To-Source Translation341 weeks 2 days ago
by thomash
40 weeks 2 days ago
by thomash
 Advantages of pointfree?3611 years 21 weeks ago
by John Nowak
42 weeks 5 hours ago
by dmbarbour
 Histogram: You have to know the past to understand the present by Tomas Petricek146 weeks 4 days ago
by spdegabrielle
45 weeks 1 day ago
by Z-Bo
 Streaming Language Rewrite Processing (SLRP)271 year 23 weeks ago
by dmbarbour
51 weeks 2 days ago
by dmbarbour
 Rope81 year 1 week ago
by jocob_knight
52 weeks 21 hours 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 4 weeks ago
by Enrique Perez Arnaud
1 year 1 day ago
by Enrique Perez Arnaud
 Session Types for Purely Functional Process Networks61 year 1 week ago
by dmbarbour
1 year 5 days ago
by dmbarbour
 NDArray/multi-columnar with efficient CRUD operations?01 year 1 week ago
by mamcx
n/a
 CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems01 year 4 weeks ago
by eeide
n/a
 Applied Category Theory and Categorical Query Language01 year 4 weeks ago
by Ryan Wisnesky
n/a
 ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) 27 years 30 weeks ago
by j4n bur53
1 year 4 weeks ago
by j4n bur53
 For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"141 year 20 weeks ago
by mamcx
1 year 8 weeks ago
by shap
 A pretty printing algorithm01 year 20 weeks ago
by hbrandl
n/a
XML feed