LtU Forum

 TopicRepliesCreatedLast reply sort icon
 First-Class Patterns1615 years 44 weeks ago
by naasking
13 weeks 2 days ago
by AntC
 Compiling high-level code to cryptography033 weeks 3 days ago
by andru
n/a
 Haxl(-like "Monads") in terms of Delimited Continuations?037 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 14 weeks ago
by Ray Dillinger
41 weeks 3 days ago
by Ray Dillinger
 A case study of concatenative v.s. applicative syntax design551 weeks 1 day ago
by xieyuheng
44 weeks 1 day ago
by shap
 Using JavaScript-like syntax to program with Interaction Nets051 weeks 1 day ago
by xieyuheng
n/a
 Context Sensitivity and relational comparison operators81 year 4 weeks ago
by Ray Dillinger
52 weeks 7 hours ago
by cpurdy
 Sorting the travelling salesman problem01 year 1 week ago
by Enrique Perez Arnaud
n/a
 Typesetting a Type System with Color-Coding21 year 6 weeks ago
by andrew johnson
1 year 5 weeks ago
by andrew johnson
 The ALTernative programming language01 year 6 weeks ago
by Robbert van Dalen
n/a
 PL Tea event today 26 July @ 14:00 New York time`01 year 7 weeks ago
by cpurdy
n/a
 CFP: PLOS '23: 12th Workshop on Programming Languages and Operating System01 year 11 weeks ago
by eeide
n/a
 Programming Languages for a Programmable World (what's on those tablets in Westworld, anyway?)72 years 1 day ago
by mfidelman
1 year 14 weeks ago
by d08ble
 Egel v0.1.8 (beta) released - do syntax11 year 16 weeks ago
by marco
1 year 16 weeks ago
by marco
 Egel v0.1.8 (beta) released - do syntax01 year 16 weeks ago
by marco
n/a
 Egel v0.1.8 (beta) released - do syntax01 year 16 weeks ago
by marco
n/a
 Rewrite.js – a minimalist s-expr based term rewriting system61 year 37 weeks ago
by Ivan V.
1 year 20 weeks ago
by Ivan V.
 Ann: The Logic Lab01 year 21 weeks ago
by Mark Tarver
n/a
 Type and Effects systems and Lucassen's Thesis319 years 8 weeks ago
by Andrei Formiga
1 year 26 weeks ago
by pnkfelix
 LinearLisp: a proof of concept in full linearization for AST-walking interpreters121 year 27 weeks ago
by Cyril
1 year 27 weeks ago
by Cyril
 Advantages of pointfree?4115 years 27 weeks ago
by John Nowak
1 year 29 weeks ago
by Stefan Cygon
 Denominated Values - Part numeric and symbolic. 51 year 48 weeks ago
by Ray Dillinger
1 year 32 weeks ago
by Julian Rohrhuber
 What is a type?1123 years 12 weeks ago
by cpurdy
1 year 33 weeks ago
by cpurdy
 Basic building blocks of a programming language42 years 11 weeks ago
by Mats
1 year 33 weeks ago
by Mats
 JIT: it's complimicated01 year 39 weeks ago
by raould
n/a
XML feed