Lambda the Ultimate - LtU Forum lambda-the-ultimate.org

A data-directed approach to lexing.

lambda-the-ultimate.org·7w

Compiling high-level code to cryptography

lambda-the-ultimate.org·107w

Haxl(-like "Monads") in terms of Delimited Continuations?

lambda-the-ultimate.org·111w

A case study of concatenative v.s. applicative syntax design

lambda-the-ultimate.org·124w

Using JavaScript-like syntax to program with Interaction Nets

lambda-the-ultimate.org·124w

Sorting the travelling salesman problem

lambda-the-ultimate.org·127w

Context Sensitivity and relational comparison operators

lambda-the-ultimate.org·130w

Typesetting a Type System with Color-Coding

lambda-the-ultimate.org·132w

The ALTernative programming language

lambda-the-ultimate.org·132w

PL Tea event today 26 July @ 14:00 New York time`

lambda-the-ultimate.org·133w

CFP: PLOS '23: 12th Workshop on Programming Languages and Operating System

lambda-the-ultimate.org·137w

programming languages with full-unicode syntax and identifiers are surprisingly hard to do well.

lambda-the-ultimate.org·140w

Egel v0.1.8 (beta) released - do syntax

lambda-the-ultimate.org·142w

Egel v0.1.8 (beta) released - do syntax

lambda-the-ultimate.org·142w

Egel v0.1.8 (beta) released - do syntax

lambda-the-ultimate.org·142w

Ann: The Logic Lab

lambda-the-ultimate.org·147w