Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Context Sensitivity and relational comparison operators	8	5 weeks 1 day ago by Ray Dillinger	4 days 16 hours ago by cpurdy
	programming languages with full-unicode syntax and identifiers are surprisingly hard to do well.	20	15 weeks 4 days ago by Ray Dillinger	1 week 3 days ago by cpurdy
	Sorting the travelling salesman problem	0	2 weeks 2 days ago by Enrique Perez Arnaud	n/a
	Typesetting a Type System with Color-Coding	2	6 weeks 5 days ago by andrew johnson	6 weeks 3 days ago by andrew johnson
	The ALTernative programming language	0	7 weeks 4 days ago by Robbert van Dalen	n/a
	PL Tea event today 26 July @ 14:00 New York time`	0	8 weeks 2 days ago by cpurdy	n/a
	CFP: PLOS '23: 12th Workshop on Programming Languages and Operating System	0	11 weeks 6 days ago by eeide	n/a
	Programming Languages for a Programmable World (what's on those tablets in Westworld, anyway?)	7	1 year 1 week ago by mfidelman	14 weeks 5 days ago by d08ble
	Egel v0.1.8 (beta) released - do syntax	1	17 weeks 3 days ago by marco	17 weeks 3 days ago by marco
	Egel v0.1.8 (beta) released - do syntax	0	17 weeks 3 days ago by marco	n/a
	Egel v0.1.8 (beta) released - do syntax	0	17 weeks 3 days ago by marco	n/a
	Rewrite.js – a minimalist s-expr based term rewriting system	6	38 weeks 2 days ago by Ivan V.	21 weeks 5 days ago by Ivan V.
	Ann: The Logic Lab	0	22 weeks 4 days ago by Mark Tarver	n/a
	Type and Effects systems and Lucassen's Thesis	3	18 years 8 weeks ago by Andrei Formiga	27 weeks 1 day ago by pnkfelix
	LinearLisp: a proof of concept in full linearization for AST-walking interpreters	12	28 weeks 5 days ago by Cyril	28 weeks 7 hours ago by Cyril
	Advantages of pointfree?	41	14 years 28 weeks ago by John Nowak	30 weeks 4 days ago by Stefan Cygon
	Denominated Values - Part numeric and symbolic.	5	49 weeks 2 days ago by Ray Dillinger	33 weeks 2 days ago by Julian Rohrhuber
	What is a type?	112	2 years 13 weeks ago by cpurdy	34 weeks 1 day ago by cpurdy
	Basic building blocks of a programming language	4	1 year 11 weeks ago by Mats	34 weeks 5 days ago by Mats
	JIT: it's complimicated	0	40 weeks 14 hours ago by raould	n/a
	Pico Scheme (A purely functional subset of scheme)	0	40 weeks 6 days ago by jrincayc	n/a
	Deallocation patterns and linear types (e.g. Rust)	2	47 weeks 6 days ago by shap	44 weeks 1 day ago by shap
	Denominated Values - Part numeric and symbolic.	1	49 weeks 2 days ago by Ray Dillinger	48 weeks 2 days ago by Michiel Helvensteijn
	A Manufacturer's Perspective on PL Progress	15	1 year 2 weeks ago by shap	50 weeks 4 days ago by John Cowan
	Do we need exactly two binding constructs?	4	1 year 26 weeks ago by Qiantan Hong	1 year 3 weeks ago by John Cowan
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