Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Cognition and Coding	47	5 weeks 4 days ago by Alex Berka	23 min 59 sec ago by John Shutt
	High level languages with optimal code generation	1	1 day 17 hours ago by Milton Silva	1 day 4 hours ago by const
	Concurrent System Programming with Effect Handlers	2	3 days 16 hours ago by raould	2 days 16 hours ago by dmbarbour
	Loop and recursion	44	2 weeks 4 days ago by Mats	2 days 18 hours ago by dmbarbour
	A problem about programming with macros vs Kernel F-exprs	4	1 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?	16	4 years 25 weeks ago by shawnbrown	2 weeks 5 days ago by shawnbrown
	Object graph 'integrals'	1	3 weeks 3 days ago by const	3 weeks 2 days ago by dmbarbour
	looking for dependent research proof system language implemented in C++	1	7 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?")	8	7 weeks 3 days ago by chetmurthy	5 weeks 4 days ago by chetmurthy
	Looking for VM's or AM's for functional languages.	4	9 weeks 3 days ago by AaronNGray	6 weeks 3 days ago by dmbarbour
	Typer: ML boosted with type theory and Scheme	1	7 weeks 2 days ago by raould	7 weeks 2 days ago by raould
	Haskell-Like S-Expression-Based Language Designed for an IDE	1	7 weeks 2 days ago by raould	7 weeks 2 days ago by raould
	Why is there no widely accepted progress for 50 years?	43	41 weeks 2 days ago by Milton Silva	7 weeks 3 days ago by edw
	Deterministic Concurrency	4	46 weeks 2 days ago by Alex Berka	7 weeks 5 days ago by Alex Berka
	System programming using FP	19	15 years 21 weeks ago by Todd Coram	8 weeks 2 days ago by Daniel Yokomizo
	Upward and downward polymorphism in object oriented languages.	10	9 weeks 4 days ago by Ray Dillinger	9 weeks 1 day ago by John Shutt
	Type Mapping in Source-To-Source Translation	4	1 year 13 weeks ago by thomash	9 weeks 3 days ago by AaronNGray
	Specialized File/Disk Systems for Actor Environments	4	17 weeks 3 days ago by mfidelman	9 weeks 4 days ago by mfidelman
	What is a type?	9	18 weeks 1 day ago by Mats	12 weeks 1 day ago by Mats
	Tackling the Awkward Squad for Reactive Programming	1	18 weeks 4 days ago by raould	17 weeks 2 days ago by dmbarbour
	Limits of Computability	0	17 weeks 3 days ago by hbrandl	n/a
	Use Cases for Shared-Memory Concurrency?	15	19 weeks 2 days ago by shap	18 weeks 1 day ago by cpurdy
	Is character as a type meaningless?	25	23 weeks 1 day ago by Mats	18 weeks 3 days ago by John Shutt
	Godel and Meta-Circularity	2	18 weeks 6 days ago by Matt M	18 weeks 4 days ago by jpt4
	BNFT (Backus Naur Form Transformation) tool released	5	11 years 19 weeks ago by Poul Krogh	19 weeks 1 day ago by Poul Krogh
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