💾 Archived View for dcreager.net › papers › Kleffner2017.gmi captured on 2024-12-17 at 09:24:41. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-07-22)
-=-=-=-=-=-=-
Robert Kleffner. “A foundation for typed concatenative languages”. Master's thesis, Northeastern University. April 2017.
The design space for concatenative programming languages, also known as stack-based programming languages, is largely under-explored. Most formal investigations of higher-order stack-based languages are done in the functional setting, requiring a cumbersome and unnecessary encoding. This dissertation describes a core programming language that captures the essence of the concatenative paradigm, provides a reduction semantics for this language, and introduces a sound type system. It also presents a sound and complete type inference algorithm. We expect that this model will serve as a starting point for future explorations of the concatenative language design space.