LtU Forum

 TopicRepliesCreatedLast reply sort icon
 First-Class Patterns1616 years 6 weeks ago
by naasking
27 weeks 3 days ago
by AntC
 Compiling high-level code to cryptography047 weeks 4 days ago
by andru
n/a
 Haxl(-like "Monads") in terms of Delimited Continuations?051 weeks 5 days ago
by Nathan Ringo
n/a
 programming languages with full-unicode syntax and identifiers are surprisingly hard to do well. 221 year 28 weeks ago
by Ray Dillinger
1 year 3 weeks ago
by Ray Dillinger
 A case study of concatenative v.s. applicative syntax design51 year 13 weeks ago
by xieyuheng
1 year 6 weeks ago
by shap
 Using JavaScript-like syntax to program with Interaction Nets01 year 13 weeks ago
by xieyuheng
n/a
 Context Sensitivity and relational comparison operators81 year 18 weeks ago
by Ray Dillinger
1 year 13 weeks ago
by cpurdy
 Sorting the travelling salesman problem01 year 15 weeks ago
by Enrique Perez Arnaud
n/a
 Typesetting a Type System with Color-Coding21 year 20 weeks ago
by andrew johnson
1 year 19 weeks ago
by andrew johnson
 The ALTernative programming language01 year 20 weeks ago
by Robbert van Dalen
n/a
 PL Tea event today 26 July @ 14:00 New York time`01 year 21 weeks ago
by cpurdy
n/a
 CFP: PLOS '23: 12th Workshop on Programming Languages and Operating System01 year 25 weeks ago
by eeide
n/a
 Programming Languages for a Programmable World (what's on those tablets in Westworld, anyway?)72 years 14 weeks ago
by mfidelman
1 year 28 weeks ago
by d08ble
 Egel v0.1.8 (beta) released - do syntax11 year 30 weeks ago
by marco
1 year 30 weeks ago
by marco
 Egel v0.1.8 (beta) released - do syntax01 year 30 weeks ago
by marco
n/a
 Egel v0.1.8 (beta) released - do syntax01 year 30 weeks ago
by marco
n/a
 Rewrite.js – a minimalist s-expr based term rewriting system61 year 51 weeks ago
by Ivan V.
1 year 35 weeks ago
by Ivan V.
 Ann: The Logic Lab01 year 35 weeks ago
by Mark Tarver
n/a
 Type and Effects systems and Lucassen's Thesis319 years 22 weeks ago
by Andrei Formiga
1 year 40 weeks ago
by pnkfelix
 LinearLisp: a proof of concept in full linearization for AST-walking interpreters121 year 42 weeks ago
by Cyril
1 year 41 weeks ago
by Cyril
 Advantages of pointfree?4115 years 41 weeks ago
by John Nowak
1 year 43 weeks ago
by Stefan Cygon
 Denominated Values - Part numeric and symbolic. 52 years 10 weeks ago
by Ray Dillinger
1 year 46 weeks ago
by Julian Rohrhuber
 What is a type?1123 years 26 weeks ago
by cpurdy
1 year 47 weeks ago
by cpurdy
 Basic building blocks of a programming language42 years 25 weeks ago
by Mats
1 year 48 weeks ago
by Mats
 JIT: it's complimicated02 years 1 week ago
by raould
n/a
XML feed