Programming-Languages

Building Languages to Solve Problems

When a problem is complex enough, the solution is often to build a language for that problem. SICP's most powerful idea.

Practical Foundations for Programming Languages

Rich Hickey: Language of the System

Notes

Engineer-philosophical talk about the nature of system and language design.

Types and Programming Languages

Apertures: Coordinated Partial Evaluation for Distributed Computation

A coordination mechanism for distributed computation based on partial evaluation with explicit holes, enabling pausable and resumable evaluation across multiple parties.