💾 Archived View for dcreager.net › papers › Diggins2008a.gmi captured on 2023-07-22 at 16:29:36. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
Christopher Diggins. “Simple type inference for higher-order stack-oriented languages”. Technical Report Cat-TR-2008-001. April 20, 2008.
Stack based languages are widely used as byte-codes, as intermediate languages, and as programming languages for embedded devices. It is well-known how to check the types of simple stack-based languages such as for the Java virtual machine language, using Hindley-Milner type inference, or using Hoare logic. The simple Hindley-Milner type inference algorithm is insufficient to type-check higher order instructions, such as abstraction operators, in a stack-based language without annotations. This limitation occurs because we require first-class polymorphism. Our contribution is to describe a simple type-system and type-inference algorithm for higher-order instructions in a single stack stack-based language.