Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Java / CPython Language Bridge	1	3 weeks 6 days ago by davidnichols	2 weeks 2 hours ago by raould
	Abstraction Tiers of Notations	132	2 years 12 weeks ago by const	3 weeks 2 days ago by const
	Objective-S	1	3 weeks 6 days ago by raould	3 weeks 2 days ago by const
	John Shutt, creator of Kernel and an LtU regular, dies at 56	11	7 weeks 3 days ago by jdougan	4 weeks 6 days ago by Andrew Moss
	Racket is ‘Scheme all the way down’ with v8 on Chez Scheme	0	9 weeks 4 days ago by spdegabrielle	n/a
	High level languages with optimal code generation	13	12 weeks 6 days ago by Milton Silva	9 weeks 5 days ago by cpurdy
	Cognition and Coding	71	18 weeks 1 day ago by Alex Berka	11 weeks 5 days ago by Alex Berka
	Concurrent System Programming with Effect Handlers	8	13 weeks 1 day ago by raould	12 weeks 2 days ago by dmbarbour
	Loop and recursion	44	15 weeks 1 day ago by Mats	13 weeks 4 hours ago by dmbarbour
	A problem about programming with macros vs Kernel F-exprs	4	13 weeks 6 days ago by Qiantan Hong	13 weeks 2 days ago by Anders Horn
	Is there an existing name for my higher-order function?	16	4 years 37 weeks ago by shawnbrown	15 weeks 2 days ago by shawnbrown
	Object graph 'integrals'	1	16 weeks 16 hours ago by const	16 weeks 9 hours ago by dmbarbour
	looking for dependent research proof system language implemented in C++	1	20 weeks 7 hours ago by AaronNGray	18 weeks 1 day ago by adrieng
	The AST Typing Problem (a bleg, also "why did attribute-grammars fail?")	8	20 weeks 1 day ago by chetmurthy	18 weeks 2 days ago by chetmurthy
	Looking for VM's or AM's for functional languages.	4	22 weeks 23 hours ago by AaronNGray	19 weeks 10 hours ago by dmbarbour
	Typer: ML boosted with type theory and Scheme	1	20 weeks 8 hours ago by raould	20 weeks 7 hours ago by raould
	Haskell-Like S-Expression-Based Language Designed for an IDE	1	20 weeks 8 hours ago by raould	20 weeks 8 hours ago by raould
	Why is there no widely accepted progress for 50 years?	43	1 year 1 week ago by Milton Silva	20 weeks 1 day ago by edw
	Deterministic Concurrency	4	1 year 6 weeks ago by Alex Berka	20 weeks 2 days ago by Alex Berka
	System programming using FP	19	15 years 33 weeks ago by Todd Coram	20 weeks 6 days ago by Daniel Yokomizo
	Upward and downward polymorphism in object oriented languages.	10	22 weeks 2 days ago by Ray Dillinger	21 weeks 6 days ago by John Shutt
	Type Mapping in Source-To-Source Translation	4	1 year 26 weeks ago by thomash	22 weeks 1 day ago by AaronNGray
	Specialized File/Disk Systems for Actor Environments	4	30 weeks 1 day ago by mfidelman	22 weeks 2 days ago by mfidelman
	What is a type?	9	30 weeks 5 days ago by Mats	24 weeks 6 days ago by Mats
	Tackling the Awkward Squad for Reactive Programming	1	31 weeks 2 days ago by raould	30 weeks 3 hours ago by dmbarbour
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