LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Exhaustiveness checks for algorithms that manipulate imperative data structures43 years 30 weeks ago
by Eduardo León
3 years 30 weeks ago
by Eduardo León
 Programming in Lambda Calculus33 years 39 weeks ago
by hbrandl
3 years 39 weeks ago
by John Shutt
 Idris2 is self-hosting13 years 45 weeks ago
by Ohad Kammar
3 years 41 weeks ago
by Charles Stewart
 modus_ponens, a library to develop inference engines.03 years 45 weeks ago
by Enrique Perez Arnaud
n/a
 Owl: A parser generator for visibly pushdown languages.03 years 47 weeks ago
by helltone
n/a
 IEEE Scheme expiring soon907 years 51 weeks ago
by johnwcowan
3 years 50 weeks ago
by Tommi Höynälänmaa
 Functional Constructors in Theme-D04 years 3 weeks ago
by Tommi Höynälänmaa
n/a
 Various desired forms of reasonableness14 years 10 weeks ago
by raould
4 years 7 weeks ago
by John Shutt
 Stepanov and McJones: Elements of Programming414 years 33 weeks ago
by Tom Duff
4 years 10 weeks ago
by Ben Karel
 The Way-Too-Early announce: Ecstasy64 years 37 weeks ago
by cpurdy
4 years 19 weeks ago
by cpurdy
 Bjarne Stroustrup interview on Youtube.04 years 20 weeks ago
by Ray Dillinger
n/a
 Histogram: You have to know the past to understand the present by Tomas Petricek14 years 28 weeks ago
by spdegabrielle
4 years 26 weeks ago
by Z-Bo
 Streaming Language Rewrite Processing (SLRP)275 years 5 weeks ago
by dmbarbour
4 years 32 weeks ago
by dmbarbour
 Rope84 years 34 weeks ago
by jocob_knight
4 years 33 weeks ago
by jocob_knight
 A production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts)14 years 38 weeks ago
by Enrique Perez Arnaud
4 years 33 weeks ago
by Enrique Perez Arnaud
 Session Types for Purely Functional Process Networks64 years 35 weeks ago
by dmbarbour
4 years 34 weeks ago
by dmbarbour
 NDArray/multi-columnar with efficient CRUD operations?04 years 34 weeks ago
by mamcx
n/a
 CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems04 years 37 weeks ago
by eeide
n/a
 Applied Category Theory and Categorical Query Language04 years 38 weeks ago
by Ryan Wisnesky
n/a
 ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) 211 years 11 weeks ago
by j4n bur53
4 years 38 weeks ago
by j4n bur53
 For a relational language, how treat KeyValues, Streams in relations with operators that add or remove "columns"145 years 1 week ago
by mamcx
4 years 42 weeks ago
by shap
 A pretty printing algorithm05 years 1 week ago
by hbrandl
n/a
 CPS for the win?35 years 24 weeks ago
by raould
5 years 2 weeks ago
by John Shutt
 Video on Unison/comparison to Haskell/Monads/distributed computing565 years 18 weeks ago
by AntC
5 years 4 weeks ago
by John Shutt
 Paper on ParaSail published in <Programming> journal V3.3; new release also available05 years 6 weeks ago
by sttaft
n/a
XML feed