Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Concurrent System Programming with Effect Handlers	8	1 year 22 weeks ago by raould	1 year 22 weeks ago by dmbarbour
	Loop and recursion	44	1 year 24 weeks ago by Mats	1 year 22 weeks ago by dmbarbour
	A problem about programming with macros vs Kernel F-exprs	4	1 year 23 weeks ago by Qiantan Hong	1 year 23 weeks ago by Anders Horn
	Is there an existing name for my higher-order function?	16	5 years 47 weeks ago by shawnbrown	1 year 25 weeks ago by shawnbrown
	Object graph 'integrals'	1	1 year 25 weeks ago by const	1 year 25 weeks ago by dmbarbour
	looking for dependent research proof system language implemented in C++	1	1 year 29 weeks ago by AaronNGray	1 year 27 weeks ago by adrieng
	The AST Typing Problem (a bleg, also "why did attribute-grammars fail?")	8	1 year 29 weeks ago by chetmurthy	1 year 27 weeks ago by chetmurthy
	Looking for VM's or AM's for functional languages.	4	1 year 31 weeks ago by AaronNGray	1 year 28 weeks ago by dmbarbour
	Typer: ML boosted with type theory and Scheme	1	1 year 29 weeks ago by raould	1 year 29 weeks ago by raould
	Haskell-Like S-Expression-Based Language Designed for an IDE	1	1 year 29 weeks ago by raould	1 year 29 weeks ago by raould
	Deterministic Concurrency	4	2 years 16 weeks ago by Alex Berka	1 year 29 weeks ago by Alex Berka
	System programming using FP	19	16 years 43 weeks ago by Todd Coram	1 year 30 weeks ago by Daniel Yokomizo
	Upward and downward polymorphism in object oriented languages.	10	1 year 31 weeks ago by Ray Dillinger	1 year 31 weeks ago by John Shutt
	Type Mapping in Source-To-Source Translation	4	2 years 35 weeks ago by thomash	1 year 31 weeks ago by AaronNGray
	Specialized File/Disk Systems for Actor Environments	4	1 year 39 weeks ago by mfidelman	1 year 31 weeks ago by mfidelman
	What is a type?	9	1 year 40 weeks ago by Mats	1 year 34 weeks ago by Mats
	Tackling the Awkward Squad for Reactive Programming	1	1 year 40 weeks ago by raould	1 year 39 weeks ago by dmbarbour
	Limits of Computability	0	1 year 39 weeks ago by hbrandl	n/a
	Use Cases for Shared-Memory Concurrency?	15	1 year 41 weeks ago by shap	1 year 40 weeks ago by cpurdy
	Is character as a type meaningless?	25	1 year 45 weeks ago by Mats	1 year 40 weeks ago by John Shutt
	Godel and Meta-Circularity	2	1 year 41 weeks ago by Matt M	1 year 40 weeks ago by jpt4
	BNFT (Backus Naur Form Transformation) tool released	5	12 years 41 weeks ago by Poul Krogh	1 year 41 weeks ago by Poul Krogh
	Async/await vs coroutines?	8	1 year 42 weeks ago by Matthew OConnor	1 year 41 weeks ago by shap
	Exhaustiveness checks for algorithms that manipulate imperative data structures	4	1 year 43 weeks ago by Eduardo León	1 year 43 weeks ago by Eduardo León
	Programming in Lambda Calculus	3	2 years 2 days ago by hbrandl	2 years 2 days ago by John Shutt
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