Lambda the Ultimate

• Active forum discussions.
• Login to post a new forum topic.

	Topic	Replies	Created	Last reply
	Emacs modes: what is it?	11	4 years 51 weeks ago by Qiantan Hong	4 years 40 weeks ago by Thomas Lord
	Objective-S	2	5 years 3 weeks ago by raould	4 years 50 weeks ago by marcel
	Java / CPython Language Bridge	2	5 years 3 weeks ago by davidnichols	4 years 40 weeks ago by davidnichols
	John Shutt, creator of Kernel and an LtU regular, dies at 56	17	5 years 7 weeks ago by jdougan	4 years 26 weeks ago by Josh Scholar
	Racket is ‘Scheme all the way down’ with v8 on Chez Scheme	0	5 years 9 weeks ago by spdegabrielle	n/a
	High level languages with optimal code generation	13	5 years 12 weeks ago by Milton Silva	5 years 9 weeks ago by cpurdy
	Concurrent System Programming with Effect Handlers	8	5 years 12 weeks ago by raould	5 years 12 weeks ago by dmbarbour
	A problem about programming with macros vs Kernel F-exprs	4	5 years 13 weeks ago by Qiantan Hong	5 years 13 weeks ago by Anders Horn
	Loop and recursion	44	5 years 14 weeks ago by Mats	5 years 12 weeks ago by dmbarbour
	Object graph 'integrals'	1	5 years 15 weeks ago by const	5 years 15 weeks ago by dmbarbour
	Cognition and Coding	72	5 years 17 weeks ago by Alex Berka	4 years 51 weeks ago by Alex Berka
	looking for dependent research proof system language implemented in C++	1	5 years 19 weeks ago by AaronNGray	5 years 17 weeks ago by adrieng
	Typer: ML boosted with type theory and Scheme	1	5 years 19 weeks ago by raould	5 years 19 weeks ago by raould
	Haskell-Like S-Expression-Based Language Designed for an IDE	1	5 years 19 weeks ago by raould	5 years 19 weeks ago by raould
	The AST Typing Problem (a bleg, also "why did attribute-grammars fail?")	8	5 years 19 weeks ago by chetmurthy	5 years 17 weeks ago by chetmurthy
	Looking for VM's or AM's for functional languages.	4	5 years 21 weeks ago by AaronNGray	5 years 18 weeks ago by dmbarbour
	Upward and downward polymorphism in object oriented languages.	10	5 years 21 weeks ago by Ray Dillinger	5 years 21 weeks ago by John Shutt
	Limits of Computability	0	5 years 29 weeks ago by hbrandl	n/a
	Specialized File/Disk Systems for Actor Environments	4	5 years 29 weeks ago by mfidelman	5 years 21 weeks ago by mfidelman
	What is a type?	9	5 years 30 weeks ago by Mats	5 years 24 weeks ago by Mats
	Tackling the Awkward Squad for Reactive Programming	1	5 years 30 weeks ago by raould	5 years 29 weeks ago by dmbarbour
	Godel and Meta-Circularity	2	5 years 31 weeks ago by Matt M	5 years 30 weeks ago by jpt4
	Use Cases for Shared-Memory Concurrency?	15	5 years 31 weeks ago by shap	5 years 30 weeks ago by cpurdy
	Async/await vs coroutines?	8	5 years 32 weeks ago by Matthew OConnor	5 years 31 weeks ago by shap
	Exhaustiveness checks for algorithms that manipulate imperative data structures	4	5 years 33 weeks ago by Eduardo León	5 years 33 weeks ago by Eduardo León
first page previous page next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation