recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	The ALTernative programming language	Robbert van Dalen	2023-07-30 18:39
Forum topic	Typesetting a Type System with Color-Coding Color and Text by andrew johnson Syntax highlighting is so by Andrew Moss	andrew johnson	2023-08-08 00:41
Forum topic	Sorting the travelling salesman problem	Enrique Perez Arnaud	2023-09-05 16:34
Page	Genealogical Diagrams Link rot by Jacques Carette Another genealogical diagram (4,600 languages) by Diarmuid Pigott	Ehud Lamm	2023-09-06 18:49
Forum topic	Context Sensitivity and relational comparison operators Interesting by cpurdy Hmm. There SHOULD be a way to say that. by Ray Dillinger Simplicity is next to Godliness (BNW) by cpurdy Absolutely by shap Why restrict to one direction? by Ray Dillinger kind-of syntactic sugar, but not quite by cpurdy Syntactic sugar for what, exactly? by Ray Dillinger Chained relational operations by Bruce J. Bell	Ray Dillinger	2023-09-17 22:45
Forum topic	Using JavaScript-like syntax to program with Interaction Nets	xieyuheng	2023-09-24 02:50
Forum topic	programming languages with full-unicode syntax and identifiers are surprisingly hard to do well. About identifiers... by Ray Dillinger Duplicate comment deleted. by Ray Dillinger DNS and unicode by cpurdy A little unfair by shap Totally agree by shap Relevant: by cpurdy That would be too sensible. by Ray Dillinger May be send your comments to the Unicode folks? by Bakul Shah deleted by Bakul Shah The Right Answer by Ray Dillinger ...	Ray Dillinger	2023-11-30 21:25
Story	The Verse Calculus: a Core Calculus for Functional Logic Programming Video Presentation by mlhaufe Also published in ICFP by jrincayc Interesting by Matt Hellige Also see the slide deck by cdiggins	cdiggins	2024-01-11 00:12
Forum topic	Compiling high-level code to cryptography	andru	2024-01-25 13:02
Forum topic	First-Class Patterns Ah, cancel that request. by AntC . by AntC First-class link? by AntC ...something like the Monad '>>' operator... by Vesa Karvonen Question on the paper by tom davies Make it a community task... by dmbarbour Perhaps an administrator by Sean McDirmid Pattern functions are by naasking Oops by James Iry You're right by matthias becker ...	naasking	2024-06-14 09:03
first page previous page next page last page