Strongly-Typed Multi-View Stack-Based Computations

Explore a 35-minute conference talk from ACM SIGPLAN that delves into the development of a Domain-Specific Language (DSL) for stack-based computations. Learn how this DSL, embedded in a strongly typed functional programming language, ensures type correctness in stack-based intermediate languages. Discover the innovative use of heterogeneous lists to guarantee that the top of the stack contains the required elements for instructions and functions. Examine the challenges of maintaining type correctness in function composition and how the presenters overcome standard typing restrictions using data types with universally quantified type variables. Gain insights into how this approach supports multiple views and handles mutually recursive functions of arbitrary arities, providing a robust solution for implementing high-level languages through stack-based intermediate languages.

[PPDP23] Strongly-Typed Multi-View Stack-Based Computations