armchair_progamer @ armchair_progamer @programming.dev

Posts

263

Comments

35

Joined

2 yr. ago

Moderating

---

PLDI 2024 List of Accepted Papers

Befreak (esolang)

Composability: Designing a Visual Programming Language

Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches

Beatrice: A finally tagless, dependently typed, homoiconic programming language

Dataflow Analyses and Compiler Optimizations that Use Them, for Free

Parsing and all that

Coroutines and effects (article)

Narya: A proof assistant for higher-dimensional type theory (GitHub)

1ML - ML with true first-class modules, “everything is a module” (old)

Zest: syntax (design of a programming language)

How to write a code formatter

Finding and Fixing Standard Misconceptions About Program Behavior

Programming Language Scalability (blog)

If Inheritance is so bad, why does everyone use it?

Don't let Alloy facts make your specs a fiction

Lambda Screen - Fractals in Pure Lambda Calculus (article + demo)

eC - A C superset with objects and modules, which is not C++

A Theory of Composing Protocols (paper)

term-lisp: very simple lisp dialect based on pattern matching and term rewriting