LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Idris2 is self-hosting01 week 6 days ago
by Ohad Kammar
n/a
 modus_ponens, a library to develop inference engines.01 week 6 days ago
by Enrique Perez Arnaud
n/a
 Why is there no widely accepted progress for 50 years?137 weeks 3 days ago
by Milton Silva
2 weeks 1 day ago
by John Shutt
 Owl: A parser generator for visibly pushdown languages.04 weeks 2 days ago
by helltone
n/a
 IEEE Scheme expiring soon904 years 8 weeks ago
by johnwcowan
6 weeks 6 days ago
by Tommi Höynälänmaa
 Deterministic Concurrency312 weeks 3 days ago
by Alex Berka
7 weeks 3 days ago
by Alex Berka
 Functional Constructors in Theme-D012 weeks 23 hours ago
by Tommi Höynälänmaa
n/a
 Various desired forms of reasonableness119 weeks 3 days ago
by raould
16 weeks 3 days ago
by John Shutt
 Stepanov and McJones: Elements of Programming410 years 42 weeks ago
by Tom Duff
19 weeks 5 days ago
by Ben Karel
 The Way-Too-Early announce: Ecstasy646 weeks 2 days ago
by cpurdy
29 weeks 2 hours ago
by cpurdy
 Bjarne Stroustrup interview on Youtube.029 weeks 2 days ago
by Ray Dillinger
n/a
 Type Mapping in Source-To-Source Translation331 weeks 5 days ago
by thomash
30 weeks 5 days ago
by thomash
 Advantages of pointfree?3611 years 11 weeks ago
by John Nowak
32 weeks 3 days ago
by dmbarbour
 Histogram: You have to know the past to understand the present by Tomas Petricek137 weeks 1 day ago
by spdegabrielle
35 weeks 5 days ago
by Z-Bo
 Streaming Language Rewrite Processing (SLRP)271 year 14 weeks ago
by dmbarbour
41 weeks 6 days ago
by dmbarbour
 Rope843 weeks 4 days ago
by jocob_knight
42 weeks 4 days ago
by jocob_knight
 A production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts)147 weeks 1 day ago
by Enrique Perez Arnaud
42 weeks 6 days ago
by Enrique Perez Arnaud
 Session Types for Purely Functional Process Networks644 weeks 21 hours ago
by dmbarbour
43 weeks 3 days ago
by dmbarbour
 NDArray/multi-columnar with efficient CRUD operations?043 weeks 5 days ago
by mamcx
n/a
 CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems046 weeks 6 days ago
by eeide
n/a
 Applied Category Theory and Categorical Query Language047 weeks 17 hours ago
by Ryan Wisnesky
n/a
 ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) 27 years 20 weeks ago
by j4n bur53
47 weeks 2 days ago
by j4n bur53
 For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"141 year 10 weeks ago
by mamcx
51 weeks 1 day ago
by shap
 A pretty printing algorithm01 year 10 weeks ago
by hbrandl
n/a
 Abstraction Tiers of Notations1301 year 17 weeks ago
by const
1 year 11 weeks ago
by dmbarbour
XML feed