LtU Forum

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