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	0	2 years 41 weeks ago by marco	n/a
	Rewrite.js – a minimalist s-expr based term rewriting system	6	3 years 10 weeks ago by Ivan V.	2 years 45 weeks ago by Ivan V.
	Ann: The Logic Lab	0	2 years 46 weeks ago by Mark Tarver	n/a
	Type and Effects systems and Lucassen's Thesis	3	20 years 32 weeks ago by Andrei Formiga	2 years 51 weeks ago by pnkfelix
	LinearLisp: a proof of concept in full linearization for AST-walking interpreters	12	3 years 2 days ago by Cyril	2 years 51 weeks ago by Cyril
	Advantages of pointfree?	41	16 years 51 weeks ago by John Nowak	3 years 2 weeks ago by Stefan Cygon
	Denominated Values - Part numeric and symbolic.	5	3 years 21 weeks ago by Ray Dillinger	3 years 5 weeks ago by Julian Rohrhuber
	What is a type?	112	4 years 36 weeks ago by cpurdy	3 years 5 weeks ago by cpurdy
	Basic building blocks of a programming language	4	3 years 35 weeks ago by Mats	3 years 6 weeks ago by Mats
	JIT: it's complimicated	0	3 years 11 weeks ago by raould	n/a
	Pico Scheme (A purely functional subset of scheme)	0	3 years 12 weeks ago by jrincayc	n/a
	Deallocation patterns and linear types (e.g. Rust)	2	3 years 19 weeks ago by shap	3 years 15 weeks ago by shap
	Denominated Values - Part numeric and symbolic.	1	3 years 21 weeks ago by Ray Dillinger	3 years 20 weeks ago by Michiel Helvensteijn
	A Manufacturer's Perspective on PL Progress	15	3 years 26 weeks ago by shap	3 years 22 weeks ago by John Cowan
	Do we need exactly two binding constructs?	4	3 years 50 weeks ago by Qiantan Hong	3 years 26 weeks ago by John Cowan
	Thomas Lord an LtU regular, dies at 56	1	3 years 33 weeks ago by Anders Horn	3 years 33 weeks ago by jdougan
	CUE: An open-source data validation language	4	4 years 11 weeks ago by Robbert van Dalen	3 years 39 weeks ago by cpurdy
	My article on state machines and DSL evolution	0	3 years 43 weeks ago by const	n/a
	Shen Standard Library	1	4 years 11 weeks ago by Mark Tarver	4 years 4 weeks ago by raould
	Cicada language -- a new dependently typed language	0	4 years 10 weeks ago by xieyuheng	n/a
	Do names and symbols really imply semantics? If so what to do about it?	29	4 years 30 weeks ago by Ray Dillinger	4 years 15 weeks ago by dmbarbour
	Trojan Source: Unicode Bidi Algorithm abuses in source code	0	4 years 17 weeks ago by Ray Dillinger	n/a
	The Book of Shen 4th edition is now available online.	0	4 years 17 weeks ago by Mark Tarver	n/a
	Egel 0.1 (beta)	1	4 years 19 weeks ago by marco	4 years 18 weeks ago by marco
	John Shutt, creator of Kernel and an LtU regular, dies at 56	17	5 years 6 days ago by jdougan	4 years 20 weeks ago by Josh Scholar
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