Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Egel v0.1.8 (beta) released - do syntax	1	1 week 5 days ago by marco	1 week 5 days ago by marco
	Egel v0.1.8 (beta) released - do syntax	0	1 week 5 days ago by marco	n/a
	Egel v0.1.8 (beta) released - do syntax	0	1 week 5 days ago by marco	n/a
	Rewrite.js – a minimalist s-expr based term rewriting system	6	22 weeks 4 days ago by Ivan V.	5 weeks 6 days ago by Ivan V.
	Programming Languages for a Programmable World (what's on those tablets in Westworld, anyway?)	6	37 weeks 2 days ago by mfidelman	6 weeks 3 days ago by Andrew Moss
	Ann: The Logic Lab	0	6 weeks 5 days ago by Mark Tarver	n/a
	Type and Effects systems and Lucassen's Thesis	3	17 years 45 weeks ago by Andrei Formiga	11 weeks 2 days ago by pnkfelix
	LinearLisp: a proof of concept in full linearization for AST-walking interpreters	12	12 weeks 6 days ago by Cyril	12 weeks 1 day ago by Cyril
	Advantages of pointfree?	41	14 years 12 weeks ago by John Nowak	14 weeks 6 days ago by Stefan Cygon
	Denominated Values - Part numeric and symbolic.	5	33 weeks 3 days ago by Ray Dillinger	17 weeks 4 days ago by Julian Rohrhuber
	What is a type?	112	1 year 49 weeks ago by cpurdy	18 weeks 3 days ago by cpurdy
	Basic building blocks of a programming language	4	48 weeks 1 day ago by Mats	18 weeks 6 days ago by Mats
	JIT: it's complimicated	0	24 weeks 1 day ago by raould	n/a
	Pico Scheme (A purely functional subset of scheme)	0	25 weeks 1 day ago by jrincayc	n/a
	Deallocation patterns and linear types (e.g. Rust)	2	32 weeks 1 day ago by shap	28 weeks 3 days ago by shap
	Denominated Values - Part numeric and symbolic.	1	33 weeks 4 days ago by Ray Dillinger	32 weeks 4 days ago by Michiel Helvensteijn
	A Manufacturer's Perspective on PL Progress	15	38 weeks 4 days ago by shap	34 weeks 6 days ago by John Cowan
	Do we need exactly two binding constructs?	4	1 year 10 weeks ago by Qiantan Hong	39 weeks 3 days ago by John Cowan
	Thomas Lord an LtU regular, dies at 56	1	45 weeks 5 days ago by Anders Horn	45 weeks 4 days ago by jdougan
	CUE: An open-source data validation language	4	1 year 23 weeks ago by Robbert van Dalen	52 weeks 19 hours ago by cpurdy
	My article on state machines and DSL evolution	0	1 year 4 weeks ago by const	n/a
	Shen Standard Library	1	1 year 24 weeks ago by Mark Tarver	1 year 16 weeks ago by raould
	Cicada language -- a new dependently typed language	0	1 year 23 weeks ago by xieyuheng	n/a
	Do names and symbols really imply semantics? If so what to do about it?	29	1 year 42 weeks ago by Ray Dillinger	1 year 27 weeks ago by dmbarbour
	Trojan Source: Unicode Bidi Algorithm abuses in source code	0	1 year 30 weeks ago by Ray Dillinger	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