LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Programming in Lambda Calculus31 week 1 day ago
by hbrandl
1 week 1 day ago
by John Shutt
 Idris2 is self-hosting16 weeks 5 days ago
by Ohad Kammar
3 weeks 4 days ago
by Charles Stewart
 modus_ponens, a library to develop inference engines.06 weeks 5 days ago
by Enrique Perez Arnaud
n/a
 Why is there no widely accepted progress for 50 years?1312 weeks 2 days ago
by Milton Silva
7 weeks 6 hours ago
by John Shutt
 Owl: A parser generator for visibly pushdown languages.09 weeks 22 hours ago
by helltone
n/a
 IEEE Scheme expiring soon904 years 13 weeks ago
by johnwcowan
11 weeks 4 days ago
by Tommi Höynälänmaa
 Deterministic Concurrency317 weeks 1 day ago
by Alex Berka
12 weeks 1 day ago
by Alex Berka
 Functional Constructors in Theme-D016 weeks 6 days ago
by Tommi Höynälänmaa
n/a
 Various desired forms of reasonableness124 weeks 2 days ago
by raould
21 weeks 1 day ago
by John Shutt
 Stepanov and McJones: Elements of Programming410 years 47 weeks ago
by Tom Duff
24 weeks 4 days ago
by Ben Karel
 The Way-Too-Early announce: Ecstasy651 weeks 1 day ago
by cpurdy
33 weeks 5 days ago
by cpurdy
 Bjarne Stroustrup interview on Youtube.034 weeks 1 day ago
by Ray Dillinger
n/a
 Type Mapping in Source-To-Source Translation336 weeks 4 days ago
by thomash
35 weeks 4 days ago
by thomash
 Advantages of pointfree?3611 years 16 weeks ago
by John Nowak
37 weeks 2 days ago
by dmbarbour
 Histogram: You have to know the past to understand the present by Tomas Petricek142 weeks 5 hours ago
by spdegabrielle
40 weeks 4 days ago
by Z-Bo
 Streaming Language Rewrite Processing (SLRP)271 year 19 weeks ago
by dmbarbour
46 weeks 5 days ago
by dmbarbour
 Rope848 weeks 3 days ago
by jocob_knight
47 weeks 3 days ago
by jocob_knight
 A production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts)152 weeks 9 hours ago
by Enrique Perez Arnaud
47 weeks 4 days ago
by Enrique Perez Arnaud
 Session Types for Purely Functional Process Networks648 weeks 6 days ago
by dmbarbour
48 weeks 1 day ago
by dmbarbour
 NDArray/multi-columnar with efficient CRUD operations?048 weeks 3 days ago
by mamcx
n/a
 CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems051 weeks 5 days ago
by eeide
n/a
 Applied Category Theory and Categorical Query Language051 weeks 6 days ago
by Ryan Wisnesky
n/a
 ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) 27 years 25 weeks ago
by j4n bur53
1 year 7 hours ago
by j4n bur53
 For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"141 year 15 weeks ago
by mamcx
1 year 3 weeks ago
by shap
 A pretty printing algorithm01 year 15 weeks ago
by hbrandl
n/a
XML feed