recent posts

typetitleauthorlast post sort icon
Forum topicCompiling high-level code to cryptography andru2024-01-25 13:02
StoryThe Verse Calculus: a Core Calculus for Functional Logic Programming cdiggins2024-01-11 00:12
Forum topicHaxl(-like "Monads") in terms of Delimited Continuations? Nathan Ringo2023-12-27 00:22
Forum topicprogramming languages with full-unicode syntax and identifiers are surprisingly hard to do well. Ray Dillinger2023-11-30 21:25
Forum topicA case study of concatenative v.s. applicative syntax design xieyuheng2023-11-12 01:11
Forum topicUsing JavaScript-like syntax to program with Interaction Nets xieyuheng2023-09-24 02:50
Forum topicContext Sensitivity and relational comparison operators Ray Dillinger2023-09-17 22:45
PageGenealogical Diagrams Ehud Lamm2023-09-06 18:49
Forum topicSorting the travelling salesman problem Enrique Perez Arnaud2023-09-05 16:34
Forum topicTypesetting a Type System with Color-Coding andrew johnson2023-08-08 00:41