LtU Forum

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