LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Concurrent System Programming with Effect Handlers81 year 22 weeks ago
by raould
1 year 22 weeks ago
by dmbarbour
 Loop and recursion441 year 24 weeks ago
by Mats
1 year 22 weeks ago
by dmbarbour
 A problem about programming with macros vs Kernel F-exprs41 year 23 weeks ago
by Qiantan Hong
1 year 23 weeks ago
by Anders Horn
 Is there an existing name for my higher-order function?165 years 47 weeks ago
by shawnbrown
1 year 25 weeks ago
by shawnbrown
 Object graph 'integrals'11 year 25 weeks ago
by const
1 year 25 weeks ago
by dmbarbour
 looking for dependent research proof system language implemented in C++11 year 29 weeks ago
by AaronNGray
1 year 27 weeks ago
by adrieng
 The AST Typing Problem (a bleg, also "why did attribute-grammars fail?")81 year 29 weeks ago
by chetmurthy
1 year 27 weeks ago
by chetmurthy
 Looking for VM's or AM's for functional languages.41 year 31 weeks ago
by AaronNGray
1 year 28 weeks ago
by dmbarbour
 Typer: ML boosted with type theory and Scheme11 year 29 weeks ago
by raould
1 year 29 weeks ago
by raould
 Haskell-Like S-Expression-Based Language Designed for an IDE11 year 29 weeks ago
by raould
1 year 29 weeks ago
by raould
 Deterministic Concurrency42 years 16 weeks ago
by Alex Berka
1 year 29 weeks ago
by Alex Berka
 System programming using FP1916 years 43 weeks ago
by Todd Coram
1 year 30 weeks ago
by Daniel Yokomizo
 Upward and downward polymorphism in object oriented languages.101 year 31 weeks ago
by Ray Dillinger
1 year 31 weeks ago
by John Shutt
 Type Mapping in Source-To-Source Translation42 years 35 weeks ago
by thomash
1 year 31 weeks ago
by AaronNGray
 Specialized File/Disk Systems for Actor Environments41 year 39 weeks ago
by mfidelman
1 year 31 weeks ago
by mfidelman
 What is a type?91 year 40 weeks ago
by Mats
1 year 34 weeks ago
by Mats
 Tackling the Awkward Squad for Reactive Programming11 year 40 weeks ago
by raould
1 year 39 weeks ago
by dmbarbour
 Limits of Computability01 year 39 weeks ago
by hbrandl
n/a
 Use Cases for Shared-Memory Concurrency?151 year 41 weeks ago
by shap
1 year 40 weeks ago
by cpurdy
 Is character as a type meaningless?251 year 45 weeks ago
by Mats
1 year 40 weeks ago
by John Shutt
 Godel and Meta-Circularity 21 year 41 weeks ago
by Matt M
1 year 40 weeks ago
by jpt4
 BNFT (Backus Naur Form Transformation) tool released512 years 41 weeks ago
by Poul Krogh
1 year 41 weeks ago
by Poul Krogh
 Async/await vs coroutines?81 year 42 weeks ago
by Matthew OConnor
1 year 41 weeks ago
by shap
 Exhaustiveness checks for algorithms that manipulate imperative data structures41 year 43 weeks ago
by Eduardo León
1 year 43 weeks ago
by Eduardo León
 Programming in Lambda Calculus32 years 2 days ago
by hbrandl
2 years 2 days ago
by John Shutt
XML feed