Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	why first-class functions	24	14 years 15 weeks ago by ad1mt	14 years 15 weeks ago by el-vadimo
	[Meta] Are we Reddit?	5	14 years 16 weeks ago by James Iry	14 years 15 weeks ago by Charles Torre
	Negation and proofs by contradiction with the proof engine	0	14 years 15 weeks ago by hbrandl	n/a
	PLT humor on Twitter	5	14 years 16 weeks ago by Manuel J. Simoni	14 years 16 weeks ago by Kay Schluehr
	Shen (the next Qi Lisp) released	1	14 years 38 weeks ago by raould	14 years 16 weeks ago by raould
	Syntax Desugaring Algorithm Question	13	14 years 20 weeks ago by bryanedds	14 years 16 weeks ago by Kay Schluehr
	Self-Certification: Bootstrapping Certified Typecheckers	0	14 years 16 weeks ago by dmbarbour	n/a
	Introduction to the proof engine for static verification of software	0	14 years 16 weeks ago by hbrandl	n/a
	R7RS public comment period (June 30, 2012)	1	14 years 17 weeks ago by Manuel J. Simoni	14 years 16 weeks ago by Manuel J. Simoni
	Teaching challenge: culturally enriching formulae-as-types	7	14 years 18 weeks ago by Charles Stewart	14 years 17 weeks ago by Ruud Koot
	catamorphism.com and hylomorphism.com free to a good home.	0	14 years 17 weeks ago by raganwald	n/a
	Embedding Prolog in Haskell	57	21 years 47 weeks ago by Frank Atanassow	14 years 17 weeks ago by j4n bur53
	Active Variables in Common Lisp	11	14 years 18 weeks ago by kruhft	14 years 18 weeks ago by dmbarbour
	Evolution of mainstream programming language paradigms	46	14 years 20 weeks ago by const	14 years 18 weeks ago by Matt M
	Small is Beautiful: the design of Lua	29	16 years 11 weeks ago by bashyal	14 years 18 weeks ago by Matt M
	Peak Abstraction	45	14 years 19 weeks ago by Sean McDirmid	14 years 18 weeks ago by Kay Schluehr
	GoingNative 2012 - C++11 Style, Variadic Templates, Concepts, Static If, Memory Model, STL11, VC11 (and beyond) and Clang	1	14 years 21 weeks ago by Charles Torre	14 years 19 weeks ago by Charles Torre
	Usage of Range Dependencies may not Lead to NP-Complete Problems	2	14 years 22 weeks ago by Jaroslav Tulach	14 years 19 weeks ago by Jaroslav Tulach
	Language outline of Modern Eiffel (SW Verification)	2	14 years 20 weeks ago by hbrandl	14 years 19 weeks ago by hbrandl
	Graphics primitives?	24	14 years 21 weeks ago by danbst	14 years 20 weeks ago by Bakul Shah
	LastCalc: A web-based REPL for a pure functional programming language with a flexible syntax and parser	6	14 years 20 weeks ago by sanity	14 years 20 weeks ago by sanity
	Non-deterministic versus parallel function application	0	14 years 20 weeks ago by jdgallag	n/a
	Visual Studio Achievements	4	14 years 21 weeks ago by Manuel J. Simoni	14 years 21 weeks ago by dmbarbour
	Register Allocation By Model Transformer Semantics -- need for early comments	10	14 years 23 weeks ago by yinwang0	14 years 22 weeks ago by yinwang0
	Go's proposed panic/recover exception-like mechanism	112	16 years 11 weeks ago by pgregory	14 years 23 weeks ago by dmbarbour
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