LtU Forum

 TopicRepliesCreated sort iconLast reply
 What is a type?22 days 11 hours ago
by Mats
1 hour 53 min ago
by marco
 Tackling the Awkward Squad for Reactive Programming06 days 7 hours ago
by raould
n/a
 Godel and Meta-Circularity 21 week 1 day ago
by Matt M
5 days 21 hours ago
by jpt4
 Use Cases for Shared-Memory Concurrency?151 week 4 days ago
by shap
3 days 3 hours ago
by cpurdy
 Async/await vs coroutines?82 weeks 5 days ago
by Matthew OConnor
1 week 4 days ago
by shap
 Exhaustiveness checks for algorithms that manipulate imperative data structures43 weeks 2 days ago
by Eduardo León
3 weeks 1 day ago
by Eduardo León
 Is character as a type meaningless?255 weeks 2 days ago
by Mats
5 days 4 hours ago
by John Shutt
 Programming in Lambda Calculus312 weeks 3 days ago
by hbrandl
12 weeks 2 days ago
by John Shutt
 Idris2 is self-hosting117 weeks 6 days ago
by Ohad Kammar
14 weeks 5 days ago
by Charles Stewart
 modus_ponens, a library to develop inference engines.018 weeks 5 hours ago
by Enrique Perez Arnaud
n/a
 Owl: A parser generator for visibly pushdown languages.020 weeks 2 days ago
by helltone
n/a
 Why is there no widely accepted progress for 50 years?3823 weeks 4 days ago
by Milton Silva
6 weeks 3 days ago
by cpurdy
 Functional Constructors in Theme-D028 weeks 1 day ago
by Tommi Höynälänmaa
n/a
 Deterministic Concurrency328 weeks 3 days ago
by Alex Berka
23 weeks 3 days ago
by Alex Berka
 Various desired forms of reasonableness135 weeks 4 days ago
by raould
32 weeks 3 days ago
by John Shutt
 Bjarne Stroustrup interview on Youtube.045 weeks 3 days ago
by Ray Dillinger
n/a
 Type Mapping in Source-To-Source Translation347 weeks 6 days ago
by thomash
46 weeks 6 days ago
by thomash
 Histogram: You have to know the past to understand the present by Tomas Petricek11 year 1 week ago
by spdegabrielle
51 weeks 6 days ago
by Z-Bo
 Rope81 year 7 weeks ago
by jocob_knight
1 year 6 weeks ago
by jocob_knight
 NDArray/multi-columnar with efficient CRUD operations?01 year 7 weeks ago
by mamcx
n/a
 Session Types for Purely Functional Process Networks61 year 8 weeks ago
by dmbarbour
1 year 7 weeks ago
by dmbarbour
 The Way-Too-Early announce: Ecstasy61 year 10 weeks ago
by cpurdy
45 weeks 11 hours ago
by cpurdy
 CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems01 year 10 weeks ago
by eeide
n/a
 Applied Category Theory and Categorical Query Language01 year 11 weeks ago
by Ryan Wisnesky
n/a
 A production rule system matching algorithm with match cost logarithmic wrt the size of the knowledge base (rules + facts)11 year 11 weeks ago
by Enrique Perez Arnaud
1 year 6 weeks ago
by Enrique Perez Arnaud
XML feed