Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	ANN: Bipedal, a new, untyped, stack-based HLL	0	12 years 24 weeks ago by claytonkb	n/a
	Bedrock case study, modular program verification	0	10 years 9 weeks ago by raould	n/a
	Cybernetics and AI	0	17 years 6 weeks ago by Hank Thediek	n/a
	Implicit Behavioral Subtyping	0	20 years 9 weeks ago by cdiggins	n/a
	Language-spotting	0	19 years 41 weeks ago by Steven Hugg	n/a
	Call for Papers: Symposium on Logical Foundations of Computer Science	0	17 years 38 weeks ago by yegor	n/a
	[ANN] AsyncObjects Framework (Java)	0	18 years 43 weeks ago by const	n/a
	Generative and Transformational Techniques	0	19 years 39 weeks ago by JamesLitsios	n/a
	L Programming Language & System (distributed, secure[capability based], functional)	0	21 years 13 weeks ago by pantagruel	n/a
	Tom 2.3 Released	0	19 years 46 weeks ago by Antoine Reilles	n/a
	CONTEXT07. Delimited contexts in OS	0	18 years 41 weeks ago by Oleg	n/a
	Depth-first search in APL	0	11 years 34 weeks ago by ngn	n/a
	SPLASH 2015 - Call for Contributions: Other Tracks	0	10 years 42 weeks ago by craiganslow	n/a
	CFP: International Conference on Live Coding	0	11 years 16 weeks ago by yaxu	n/a
	Cool stuff from recent conferences	0	9 years 5 weeks ago by Ehud Lamm	n/a
	Parallelism and threading as a programming model	0	17 years 24 weeks ago by johantorp	n/a
	FringeDC Formal Meeting- April 18th 12PM Noon- Advanced Common Lisp Features	0	16 years 48 weeks ago by drcode	n/a
	F# 1.9.1 released	0	18 years 49 weeks ago by grant	n/a
	Correctness proofs demonstrated with natural numbers	0	14 years 26 weeks ago by hbrandl	n/a
	[ANN] Call for Speakers - FP Days 2012 - Cambridge, October 25-26th	0	13 years 43 weeks ago by Mark Dalgarno	n/a
	The verified insertion sort algorithm	0	13 years 36 weeks ago by hbrandl	n/a
	A pointer is an integer with a shiv	0	7 years 24 weeks ago by Charles Stewart	n/a
	The TechEmpower Web Framework Benchmarks	0	11 years 44 weeks ago by Adam Chlipala	n/a
	Bespoke: live graphical language for granular synthesis	0	4 years 23 weeks ago by Thomas Lord	n/a
	Programmer book club	0	17 years 21 weeks ago by Ehud Lamm	n/a
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