LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Cognition and Coding475 weeks 4 days ago
by Alex Berka
23 min 59 sec ago
by John Shutt
 High level languages with optimal code generation11 day 17 hours ago
by Milton Silva
1 day 4 hours ago
by const
 Concurrent System Programming with Effect Handlers23 days 16 hours ago
by raould
2 days 16 hours ago
by dmbarbour
 Loop and recursion442 weeks 4 days ago
by Mats
2 days 18 hours ago
by dmbarbour
 A problem about programming with macros vs Kernel F-exprs41 week 2 days ago
by Qiantan Hong
5 days 11 hours ago
by Anders Horn
 Is there an existing name for my higher-order function?164 years 25 weeks ago
by shawnbrown
2 weeks 5 days ago
by shawnbrown
 Object graph 'integrals'13 weeks 3 days ago
by const
3 weeks 2 days ago
by dmbarbour
 looking for dependent research proof system language implemented in C++17 weeks 2 days ago
by AaronNGray
5 weeks 4 days ago
by adrieng
 The AST Typing Problem (a bleg, also "why did attribute-grammars fail?")87 weeks 3 days ago
by chetmurthy
5 weeks 4 days ago
by chetmurthy
 Looking for VM's or AM's for functional languages.49 weeks 3 days ago
by AaronNGray
6 weeks 3 days ago
by dmbarbour
 Typer: ML boosted with type theory and Scheme17 weeks 2 days ago
by raould
7 weeks 2 days ago
by raould
 Haskell-Like S-Expression-Based Language Designed for an IDE17 weeks 2 days ago
by raould
7 weeks 2 days ago
by raould
 Why is there no widely accepted progress for 50 years?4341 weeks 2 days ago
by Milton Silva
7 weeks 3 days ago
by edw
 Deterministic Concurrency446 weeks 2 days ago
by Alex Berka
7 weeks 5 days ago
by Alex Berka
 System programming using FP1915 years 21 weeks ago
by Todd Coram
8 weeks 2 days ago
by Daniel Yokomizo
 Upward and downward polymorphism in object oriented languages.109 weeks 4 days ago
by Ray Dillinger
9 weeks 1 day ago
by John Shutt
 Type Mapping in Source-To-Source Translation41 year 13 weeks ago
by thomash
9 weeks 3 days ago
by AaronNGray
 Specialized File/Disk Systems for Actor Environments417 weeks 3 days ago
by mfidelman
9 weeks 4 days ago
by mfidelman
 What is a type?918 weeks 1 day ago
by Mats
12 weeks 1 day ago
by Mats
 Tackling the Awkward Squad for Reactive Programming118 weeks 4 days ago
by raould
17 weeks 2 days ago
by dmbarbour
 Limits of Computability017 weeks 3 days ago
by hbrandl
n/a
 Use Cases for Shared-Memory Concurrency?1519 weeks 2 days ago
by shap
18 weeks 1 day ago
by cpurdy
 Is character as a type meaningless?2523 weeks 1 day ago
by Mats
18 weeks 3 days ago
by John Shutt
 Godel and Meta-Circularity 218 weeks 6 days ago
by Matt M
18 weeks 4 days ago
by jpt4
 BNFT (Backus Naur Form Transformation) tool released511 years 19 weeks ago
by Poul Krogh
19 weeks 1 day ago
by Poul Krogh
XML feed