Designing an Effectively Constant-Time Programming Language and Runtime
The goal is to create a programming language and runtime that has effectively constant-time performance for all operations, constant memory overhead, and bounded garbage collection pauses.