LtU Forum

 TopicRepliesCreatedLast reply sort icon
 What is a type?930 weeks 2 days ago
by Mats
24 weeks 3 days ago
by Mats
 Tackling the Awkward Squad for Reactive Programming130 weeks 6 days ago
by raould
29 weeks 3 days ago
by dmbarbour
 Limits of Computability029 weeks 4 days ago
by hbrandl
n/a
 Use Cases for Shared-Memory Concurrency?1531 weeks 4 days ago
by shap
30 weeks 3 days ago
by cpurdy
 Is character as a type meaningless?2535 weeks 2 days ago
by Mats
30 weeks 5 days ago
by John Shutt
 Godel and Meta-Circularity 231 weeks 1 day ago
by Matt M
30 weeks 5 days ago
by jpt4
 BNFT (Backus Naur Form Transformation) tool released511 years 31 weeks ago
by Poul Krogh
31 weeks 3 days ago
by Poul Krogh
 Async/await vs coroutines?832 weeks 5 days ago
by Matthew OConnor
31 weeks 4 days ago
by shap
 Exhaustiveness checks for algorithms that manipulate imperative data structures433 weeks 2 days ago
by Eduardo León
33 weeks 1 day ago
by Eduardo León
 Programming in Lambda Calculus342 weeks 3 days ago
by hbrandl
42 weeks 2 days ago
by John Shutt
 Idris2 is self-hosting147 weeks 6 days ago
by Ohad Kammar
44 weeks 5 days ago
by Charles Stewart
 modus_ponens, a library to develop inference engines.048 weeks 2 hours ago
by Enrique Perez Arnaud
n/a
 Owl: A parser generator for visibly pushdown languages.050 weeks 2 days ago
by helltone
n/a
 IEEE Scheme expiring soon905 years 2 weeks ago
by johnwcowan
1 year 5 days ago
by Tommi Höynälänmaa
 Functional Constructors in Theme-D01 year 6 weeks ago
by Tommi Höynälänmaa
n/a
 Various desired forms of reasonableness11 year 13 weeks ago
by raould
1 year 10 weeks ago
by John Shutt
 Stepanov and McJones: Elements of Programming411 years 36 weeks ago
by Tom Duff
1 year 13 weeks ago
by Ben Karel
 The Way-Too-Early announce: Ecstasy61 year 40 weeks ago
by cpurdy
1 year 22 weeks ago
by cpurdy
 Bjarne Stroustrup interview on Youtube.01 year 23 weeks ago
by Ray Dillinger
n/a
 Advantages of pointfree?3612 years 5 weeks ago
by John Nowak
1 year 26 weeks ago
by dmbarbour
 Histogram: You have to know the past to understand the present by Tomas Petricek11 year 31 weeks ago
by spdegabrielle
1 year 29 weeks ago
by Z-Bo
 Streaming Language Rewrite Processing (SLRP)272 years 8 weeks ago
by dmbarbour
1 year 35 weeks ago
by dmbarbour
 Rope81 year 37 weeks ago
by jocob_knight
1 year 36 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 41 weeks ago
by Enrique Perez Arnaud
1 year 36 weeks ago
by Enrique Perez Arnaud
 Session Types for Purely Functional Process Networks61 year 38 weeks ago
by dmbarbour
1 year 37 weeks ago
by dmbarbour
XML feed