LtU Forum

 TopicRepliesCreated sort iconLast reply
 Racket is ‘Scheme all the way down’ with v8 on Chez Scheme01 week 6 days ago
by spdegabrielle
n/a
 High level languages with optimal code generation135 weeks 1 day ago
by Milton Silva
2 weeks 1 day ago
by cpurdy
 Concurrent System Programming with Effect Handlers85 weeks 3 days ago
by raould
4 weeks 5 days ago
by dmbarbour
 A problem about programming with macros vs Kernel F-exprs46 weeks 1 day ago
by Qiantan Hong
5 weeks 5 days ago
by Anders Horn
 Loop and recursion447 weeks 3 days ago
by Mats
5 weeks 2 days ago
by dmbarbour
 Object graph 'integrals'18 weeks 2 days ago
by const
8 weeks 2 days ago
by dmbarbour
 Cognition and Coding7110 weeks 3 days ago
by Alex Berka
4 weeks 23 hours ago
by Alex Berka
 looking for dependent research proof system language implemented in C++112 weeks 2 days ago
by AaronNGray
10 weeks 3 days ago
by adrieng
 Typer: ML boosted with type theory and Scheme112 weeks 2 days ago
by raould
12 weeks 2 days ago
by raould
 Haskell-Like S-Expression-Based Language Designed for an IDE112 weeks 2 days ago
by raould
12 weeks 2 days ago
by raould
 The AST Typing Problem (a bleg, also "why did attribute-grammars fail?")812 weeks 3 days ago
by chetmurthy
10 weeks 4 days ago
by chetmurthy
 Looking for VM's or AM's for functional languages.414 weeks 3 days ago
by AaronNGray
11 weeks 2 days ago
by dmbarbour
 Upward and downward polymorphism in object oriented languages.1014 weeks 4 days ago
by Ray Dillinger
14 weeks 1 day ago
by John Shutt
 Limits of Computability022 weeks 2 days ago
by hbrandl
n/a
 Specialized File/Disk Systems for Actor Environments422 weeks 3 days ago
by mfidelman
14 weeks 4 days ago
by mfidelman
 What is a type?923 weeks 17 hours ago
by Mats
17 weeks 1 day ago
by Mats
 Tackling the Awkward Squad for Reactive Programming123 weeks 4 days ago
by raould
22 weeks 2 days ago
by dmbarbour
 Godel and Meta-Circularity 223 weeks 6 days ago
by Matt M
23 weeks 4 days ago
by jpt4
 Use Cases for Shared-Memory Concurrency?1524 weeks 2 days ago
by shap
23 weeks 1 day ago
by cpurdy
 Async/await vs coroutines?825 weeks 3 days ago
by Matthew OConnor
24 weeks 2 days ago
by shap
 Exhaustiveness checks for algorithms that manipulate imperative data structures426 weeks 16 hours ago
by Eduardo León
25 weeks 6 days ago
by Eduardo León
 Is character as a type meaningless?2528 weeks 17 hours ago
by Mats
23 weeks 3 days ago
by John Shutt
 Programming in Lambda Calculus335 weeks 1 day ago
by hbrandl
35 weeks 1 day ago
by John Shutt
 Idris2 is self-hosting140 weeks 5 days ago
by Ohad Kammar
37 weeks 4 days ago
by Charles Stewart
 modus_ponens, a library to develop inference engines.040 weeks 5 days ago
by Enrique Perez Arnaud
n/a
XML feed