A fast, friendly, functional language.
Roc on Twitter / X
New syntax, new compiler, new Roc ✨Watch the full talk on where the language is today and where we’re going:https://t.co/FltMYr1YiR— Roc (@roc_lang) November 25, 2025
The mythical matched modules | Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Certified compilers are complex software systems. Like other large systems, they demand modular, extensible designs. While there has been progress in extensible metatheory mechanization, scaling extensibility and reuse to meet the demands of full ...
Boomerang | Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bidirectional programming languages are a practical approach to the view update problem. Programs in these languages, called lenses, define both a view and an update policy - i.e., every program can be read as a function mapping sources to views as well ...
Pony
An open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language.
Modular: The Claude C Compiler: What It Reveals About the Future of Software
Compilers occupy a special place in computer science. They're a canonical course in computer science education. Building one is a rite of passage. It forces you to confront how software actually works, by examining languages, abstractions, hardware, and the boundary between human intent and machine execution.
Practical Foundations for Programming Languages
The Coalton Programming Language
A statically typed, functional programming language that compiles to Common Lisp
A Coming Revolution in Metaprogramming | Will Crichton
A single programming language is no longer enough. I predict that soon, the best programmers will fluently move between languages and the best languages will interoperate well with others. This interoperability will likely stem from strong metaprogramming facilities. I examine how we might build a programmable compiler and look at recent work toward that end.
The Rust Programming Language - The Rust Programming Language
by Steve Klabnik, Carol Nichols, and Chris Krycho, with contributions from the Rust Community
The Story of C++: The World's Most Consequential Programming Language | The Official Story
Symbolica | Modern Computer Algebra
High-performance symbolic-numeric computing for Python and Rust.
Learn C • Build Your Own Lisp
If you're looking to learn C, or you've ever wondered how to build your own programming language, this is the book for you.