Lambda the Ultimate

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

	Topic	Replies	Created	Last reply
	Is character as a type meaningless?	30	5 years 12 weeks ago by Mats	3 days 16 hours ago by Bruce J. Bell
	Haxl(-like "Monads") in terms of Delimited Continuations?	1	1 year 45 weeks ago by remexre	4 days 13 hours ago by Ray Dillinger
	A case study of concatenative v.s. applicative syntax design	6	2 years 6 weeks ago by xieyuheng	32 weeks 6 days ago by shap
	First-Class Patterns	16	16 years 52 weeks ago by naasking	1 year 21 weeks ago by AntC
	Compiling high-level code to cryptography	0	1 year 41 weeks ago by andru	n/a
	programming languages with full-unicode syntax and identifiers are surprisingly hard to do well.	22	2 years 22 weeks ago by Ray Dillinger	1 year 49 weeks ago by Ray Dillinger
	Using JavaScript-like syntax to program with Interaction Nets	0	2 years 6 weeks ago by xieyuheng	n/a
	Context Sensitivity and relational comparison operators	8	2 years 12 weeks ago by Ray Dillinger	2 years 7 weeks ago by cpurdy
	Sorting the travelling salesman problem	0	2 years 9 weeks ago by Enrique Perez Arnaud	n/a
	Typesetting a Type System with Color-Coding	2	2 years 13 weeks ago by andrew johnson	2 years 13 weeks ago by andrew johnson
	The ALTernative programming language	0	2 years 14 weeks ago by Robbert van Dalen	n/a
	PL Tea event today 26 July @ 14:00 New York time`	0	2 years 15 weeks ago by cpurdy	n/a
	CFP: PLOS '23: 12th Workshop on Programming Languages and Operating System	0	2 years 18 weeks ago by eeide	n/a
	Programming Languages for a Programmable World (what's on those tablets in Westworld, anyway?)	7	3 years 7 weeks ago by mfidelman	2 years 21 weeks ago by d08ble
	Egel v0.1.8 (beta) released - do syntax	1	2 years 24 weeks ago by marco	2 years 24 weeks ago by marco
	Egel v0.1.8 (beta) released - do syntax	0	2 years 24 weeks ago by marco	n/a
	Egel v0.1.8 (beta) released - do syntax	0	2 years 24 weeks ago by marco	n/a
	Rewrite.js – a minimalist s-expr based term rewriting system	6	2 years 45 weeks ago by Ivan V.	2 years 28 weeks ago by Ivan V.
	Ann: The Logic Lab	0	2 years 29 weeks ago by Mark Tarver	n/a
	Type and Effects systems and Lucassen's Thesis	3	20 years 15 weeks ago by Andrei Formiga	2 years 34 weeks ago by pnkfelix
	LinearLisp: a proof of concept in full linearization for AST-walking interpreters	12	2 years 35 weeks ago by Cyril	2 years 34 weeks ago by Cyril
	Advantages of pointfree?	41	16 years 34 weeks ago by John Nowak	2 years 37 weeks ago by Stefan Cygon
	Denominated Values - Part numeric and symbolic.	5	3 years 4 weeks ago by Ray Dillinger	2 years 40 weeks ago by Julian Rohrhuber
	What is a type?	112	4 years 19 weeks ago by cpurdy	2 years 41 weeks ago by cpurdy
	Basic building blocks of a programming language	4	3 years 18 weeks ago by Mats	2 years 41 weeks ago by Mats
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