LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Monads vs Applicative Functors.359 weeks 3 days ago
by Keean Schupke
4 weeks 3 days ago
by dmbarbour
 Do names and symbols really imply semantics? If so what to do about it?06 weeks 1 day ago
by Ray Dillinger
n/a
 What is a type?11112 weeks 4 days ago
by cpurdy
6 weeks 3 days ago
by Bakul Shah
 Java / CPython Language Bridge225 weeks 2 days ago
by davidnichols
9 weeks 6 days ago
by davidnichols
 Emacs modes: what is it?1121 weeks 2 days ago
by Qiantan Hong
10 weeks 2 days ago
by Thomas Lord
 CFP: PLOS '21: 11th Workshop on Programming Languages and Operating Systems011 weeks 2 days ago
by eeide
n/a
 Why is there no widely accepted progress for 50 years?501 year 23 weeks ago
by Milton Silva
14 weeks 3 days ago
by Bakul Shah
 John Shutt, creator of Kernel and an LtU regular, dies at 561528 weeks 6 days ago
by jdougan
16 weeks 3 days ago
by Andres Navarro
 counterexamples.org018 weeks 2 days ago
by raould
n/a
 Objective-S225 weeks 2 days ago
by raould
20 weeks 2 days ago
by marcel
 Cognition and Coding7239 weeks 4 days ago
by Alex Berka
21 weeks 1 day ago
by Alex Berka
 Abstraction Tiers of Notations1322 years 33 weeks ago
by const
24 weeks 5 days ago
by const
 Racket is ‘Scheme all the way down’ with v8 on Chez Scheme031 weeks 10 hours ago
by spdegabrielle
n/a
 High level languages with optimal code generation1334 weeks 1 day ago
by Milton Silva
31 weeks 1 day ago
by cpurdy
 Concurrent System Programming with Effect Handlers834 weeks 3 days ago
by raould
33 weeks 5 days ago
by dmbarbour
 Loop and recursion4436 weeks 4 days ago
by Mats
34 weeks 3 days ago
by dmbarbour
 A problem about programming with macros vs Kernel F-exprs435 weeks 2 days ago
by Qiantan Hong
34 weeks 5 days ago
by Anders Horn
 Is there an existing name for my higher-order function?165 years 7 weeks ago
by shawnbrown
36 weeks 5 days ago
by shawnbrown
 Object graph 'integrals'137 weeks 3 days ago
by const
37 weeks 3 days ago
by dmbarbour
 looking for dependent research proof system language implemented in C++141 weeks 3 days ago
by AaronNGray
39 weeks 4 days ago
by adrieng
 The AST Typing Problem (a bleg, also "why did attribute-grammars fail?")841 weeks 4 days ago
by chetmurthy
39 weeks 5 days ago
by chetmurthy
 Looking for VM's or AM's for functional languages.443 weeks 3 days ago
by AaronNGray
40 weeks 3 days ago
by dmbarbour
 Typer: ML boosted with type theory and Scheme141 weeks 3 days ago
by raould
41 weeks 3 days ago
by raould
 Haskell-Like S-Expression-Based Language Designed for an IDE141 weeks 3 days ago
by raould
41 weeks 3 days ago
by raould
 Deterministic Concurrency41 year 28 weeks ago
by Alex Berka
41 weeks 5 days ago
by Alex Berka
XML feed