Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Monads vs Applicative Functors.	35	9 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?	0	6 weeks 1 day ago by Ray Dillinger	n/a
	What is a type?	111	12 weeks 4 days ago by cpurdy	6 weeks 3 days ago by Bakul Shah
	Java / CPython Language Bridge	2	25 weeks 2 days ago by davidnichols	9 weeks 6 days ago by davidnichols
	Emacs modes: what is it?	11	21 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 Systems	0	11 weeks 2 days ago by eeide	n/a
	Why is there no widely accepted progress for 50 years?	50	1 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 56	15	28 weeks 6 days ago by jdougan	16 weeks 3 days ago by Andres Navarro
	counterexamples.org	0	18 weeks 2 days ago by raould	n/a
	Objective-S	2	25 weeks 2 days ago by raould	20 weeks 2 days ago by marcel
	Cognition and Coding	72	39 weeks 4 days ago by Alex Berka	21 weeks 1 day ago by Alex Berka
	Abstraction Tiers of Notations	132	2 years 33 weeks ago by const	24 weeks 5 days ago by const
	Racket is ‘Scheme all the way down’ with v8 on Chez Scheme	0	31 weeks 10 hours ago by spdegabrielle	n/a
	High level languages with optimal code generation	13	34 weeks 1 day ago by Milton Silva	31 weeks 1 day ago by cpurdy
	Concurrent System Programming with Effect Handlers	8	34 weeks 3 days ago by raould	33 weeks 5 days ago by dmbarbour
	Loop and recursion	44	36 weeks 4 days ago by Mats	34 weeks 3 days ago by dmbarbour
	A problem about programming with macros vs Kernel F-exprs	4	35 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?	16	5 years 7 weeks ago by shawnbrown	36 weeks 5 days ago by shawnbrown
	Object graph 'integrals'	1	37 weeks 3 days ago by const	37 weeks 3 days ago by dmbarbour
	looking for dependent research proof system language implemented in C++	1	41 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?")	8	41 weeks 4 days ago by chetmurthy	39 weeks 5 days ago by chetmurthy
	Looking for VM's or AM's for functional languages.	4	43 weeks 3 days ago by AaronNGray	40 weeks 3 days ago by dmbarbour
	Typer: ML boosted with type theory and Scheme	1	41 weeks 3 days ago by raould	41 weeks 3 days ago by raould
	Haskell-Like S-Expression-Based Language Designed for an IDE	1	41 weeks 3 days ago by raould	41 weeks 3 days ago by raould
	Deterministic Concurrency	4	1 year 28 weeks ago by Alex Berka	41 weeks 5 days ago by Alex Berka
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