LtU Forum

 TopicRepliesCreated sort iconLast reply
 Object graph 'integrals'13 years 12 weeks ago
by const
3 years 12 weeks ago
by dmbarbour
 Cognition and Coding723 years 14 weeks ago
by Alex Berka
2 years 48 weeks ago
by Alex Berka
 looking for dependent research proof system language implemented in C++13 years 16 weeks ago
by AaronNGray
3 years 14 weeks ago
by adrieng
 Typer: ML boosted with type theory and Scheme13 years 16 weeks ago
by raould
3 years 16 weeks ago
by raould
 Haskell-Like S-Expression-Based Language Designed for an IDE13 years 16 weeks ago
by raould
3 years 16 weeks ago
by raould
 The AST Typing Problem (a bleg, also "why did attribute-grammars fail?")83 years 16 weeks ago
by chetmurthy
3 years 14 weeks ago
by chetmurthy
 Looking for VM's or AM's for functional languages.43 years 18 weeks ago
by AaronNGray
3 years 15 weeks ago
by dmbarbour
 Upward and downward polymorphism in object oriented languages.103 years 18 weeks ago
by Ray Dillinger
3 years 18 weeks ago
by John Shutt
 Limits of Computability03 years 26 weeks ago
by hbrandl
n/a
 Specialized File/Disk Systems for Actor Environments43 years 26 weeks ago
by mfidelman
3 years 18 weeks ago
by mfidelman
 What is a type?93 years 27 weeks ago
by Mats
3 years 21 weeks ago
by Mats
 Tackling the Awkward Squad for Reactive Programming13 years 27 weeks ago
by raould
3 years 26 weeks ago
by dmbarbour
 Godel and Meta-Circularity 23 years 28 weeks ago
by Matt M
3 years 27 weeks ago
by jpt4
 Use Cases for Shared-Memory Concurrency?153 years 28 weeks ago
by shap
3 years 27 weeks ago
by cpurdy
 Async/await vs coroutines?83 years 29 weeks ago
by Matthew OConnor
3 years 28 weeks ago
by shap
 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
 Is character as a type meaningless?253 years 32 weeks ago
by Mats
3 years 27 weeks ago
by John Shutt
 Programming in Lambda Calculus33 years 39 weeks ago
by hbrandl
3 years 39 weeks ago
by John Shutt
 Idris2 is self-hosting13 years 44 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
 Why is there no widely accepted progress for 50 years?503 years 50 weeks ago
by Milton Silva
2 years 41 weeks ago
by Bakul Shah
 Functional Constructors in Theme-D04 years 3 weeks ago
by Tommi Höynälänmaa
n/a
 Deterministic Concurrency44 years 3 weeks ago
by Alex Berka
3 years 16 weeks ago
by Alex Berka
 Various desired forms of reasonableness14 years 10 weeks ago
by raould
4 years 7 weeks ago
by John Shutt
XML feed