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

A data-directed approach to lexing.

lambda-the-ultimate.org·21w

Compiling high-level code to cryptography

lambda-the-ultimate.org·120w

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

lambda-the-ultimate.org·125w

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

lambda-the-ultimate.org·138w

Using JavaScript-like syntax to program with Interaction Nets

lambda-the-ultimate.org·138w

Sorting the travelling salesman problem

lambda-the-ultimate.org·141w

Context Sensitivity and relational comparison operators

lambda-the-ultimate.org·144w

Typesetting a Type System with Color-Coding

lambda-the-ultimate.org·145w

The ALTernative programming language

lambda-the-ultimate.org·146w

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

lambda-the-ultimate.org·147w

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

lambda-the-ultimate.org·150w

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

lambda-the-ultimate.org·154w

Egel v0.1.8 (beta) released - do syntax

lambda-the-ultimate.org·156w

Egel v0.1.8 (beta) released - do syntax

lambda-the-ultimate.org·156w

Egel v0.1.8 (beta) released - do syntax

lambda-the-ultimate.org·156w

Ann: The Logic Lab

lambda-the-ultimate.org·161w

Log in to enable infinite scrolling