LtU Forum

 TopicRepliesCreatedLast reply sort icon
 A case study of concatenative v.s. applicative syntax design61 year 48 weeks ago
by xieyuheng
23 weeks 1 day ago
by shap
 First-Class Patterns1616 years 42 weeks ago
by naasking
1 year 11 weeks ago
by AntC
 Compiling high-level code to cryptography01 year 31 weeks ago
by andru
n/a
 Haxl(-like "Monads") in terms of Delimited Continuations?01 year 35 weeks ago
by remexre
n/a
 programming languages with full-unicode syntax and identifiers are surprisingly hard to do well. 222 years 12 weeks ago
by Ray Dillinger
1 year 39 weeks ago
by Ray Dillinger
 Using JavaScript-like syntax to program with Interaction Nets01 year 49 weeks ago
by xieyuheng
n/a
 Context Sensitivity and relational comparison operators82 years 2 weeks ago
by Ray Dillinger
1 year 49 weeks ago
by cpurdy
 Sorting the travelling salesman problem01 year 51 weeks ago
by Enrique Perez Arnaud
n/a
 Typesetting a Type System with Color-Coding22 years 3 weeks ago
by andrew johnson
2 years 3 weeks ago
by andrew johnson
 The ALTernative programming language02 years 4 weeks ago
by Robbert van Dalen
n/a
 PL Tea event today 26 July @ 14:00 New York time`02 years 5 weeks ago
by cpurdy
n/a
 CFP: PLOS '23: 12th Workshop on Programming Languages and Operating System02 years 9 weeks ago
by eeide
n/a
 Programming Languages for a Programmable World (what's on those tablets in Westworld, anyway?)72 years 50 weeks ago
by mfidelman
2 years 11 weeks ago
by d08ble
 Egel v0.1.8 (beta) released - do syntax12 years 14 weeks ago
by marco
2 years 14 weeks ago
by marco
 Egel v0.1.8 (beta) released - do syntax02 years 14 weeks ago
by marco
n/a
 Egel v0.1.8 (beta) released - do syntax02 years 14 weeks ago
by marco
n/a
 Rewrite.js – a minimalist s-expr based term rewriting system62 years 35 weeks ago
by Ivan V.
2 years 18 weeks ago
by Ivan V.
 Ann: The Logic Lab02 years 19 weeks ago
by Mark Tarver
n/a
 Type and Effects systems and Lucassen's Thesis320 years 6 weeks ago
by Andrei Formiga
2 years 24 weeks ago
by pnkfelix
 LinearLisp: a proof of concept in full linearization for AST-walking interpreters122 years 25 weeks ago
by Cyril
2 years 25 weeks ago
by Cyril
 Advantages of pointfree?4116 years 25 weeks ago
by John Nowak
2 years 27 weeks ago
by Stefan Cygon
 Denominated Values - Part numeric and symbolic. 52 years 46 weeks ago
by Ray Dillinger
2 years 30 weeks ago
by Julian Rohrhuber
 What is a type?1124 years 10 weeks ago
by cpurdy
2 years 31 weeks ago
by cpurdy
 Basic building blocks of a programming language43 years 8 weeks ago
by Mats
2 years 31 weeks ago
by Mats
 JIT: it's complimicated02 years 37 weeks ago
by raould
n/a
XML feed