LtU Forum

 TopicRepliesCreatedLast reply sort icon
 First-Class Patterns1615 years 45 weeks ago
by naasking
13 weeks 6 days ago
by AntC
 Compiling high-level code to cryptography034 weeks 14 hours ago
by andru
n/a
 Haxl(-like "Monads") in terms of Delimited Continuations?038 weeks 2 days ago
by Nathan Ringo
n/a
 programming languages with full-unicode syntax and identifiers are surprisingly hard to do well. 221 year 15 weeks ago
by Ray Dillinger
42 weeks 6 hours ago
by Ray Dillinger
 A case study of concatenative v.s. applicative syntax design551 weeks 4 days ago
by xieyuheng
44 weeks 5 days ago
by shap
 Using JavaScript-like syntax to program with Interaction Nets051 weeks 5 days ago
by xieyuheng
n/a
 Context Sensitivity and relational comparison operators81 year 5 weeks ago
by Ray Dillinger
1 year 3 days ago
by cpurdy
 Sorting the travelling salesman problem01 year 2 weeks ago
by Enrique Perez Arnaud
n/a
 Typesetting a Type System with Color-Coding21 year 6 weeks ago
by andrew johnson
1 year 6 weeks ago
by andrew johnson
 The ALTernative programming language01 year 7 weeks ago
by Robbert van Dalen
n/a
 PL Tea event today 26 July @ 14:00 New York time`01 year 8 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 5 days ago
by mfidelman
1 year 14 weeks ago
by d08ble
 Egel v0.1.8 (beta) released - do syntax11 year 17 weeks ago
by marco
1 year 17 weeks ago
by marco
 Egel v0.1.8 (beta) released - do syntax01 year 17 weeks ago
by marco
n/a
 Egel v0.1.8 (beta) released - do syntax01 year 17 weeks ago
by marco
n/a
 Rewrite.js – a minimalist s-expr based term rewriting system61 year 38 weeks ago
by Ivan V.
1 year 21 weeks ago
by Ivan V.
 Ann: The Logic Lab01 year 22 weeks ago
by Mark Tarver
n/a
 Type and Effects systems and Lucassen's Thesis319 years 8 weeks ago
by Andrei Formiga
1 year 27 weeks ago
by pnkfelix
 LinearLisp: a proof of concept in full linearization for AST-walking interpreters121 year 28 weeks ago
by Cyril
1 year 27 weeks ago
by Cyril
 Advantages of pointfree?4115 years 27 weeks ago
by John Nowak
1 year 30 weeks ago
by Stefan Cygon
 Denominated Values - Part numeric and symbolic. 51 year 49 weeks ago
by Ray Dillinger
1 year 33 weeks ago
by Julian Rohrhuber
 What is a type?1123 years 12 weeks ago
by cpurdy
1 year 34 weeks ago
by cpurdy
 Basic building blocks of a programming language42 years 11 weeks ago
by Mats
1 year 34 weeks ago
by Mats
 JIT: it's complimicated01 year 39 weeks ago
by raould
n/a
XML feed