Lambda the Ultimate

User login

Navigation

Home » forums

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

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

Browse archives

Active forum topics

New forum topics

Recent comments