Type inference in stack based languages

DOI10.1007/BF01212404zbMath0774.68022OpenAlexW1999426543MaRDI QIDQ684389

Peter J. Knaggs, Bill Stoddart

Publication date: 15 September 1993

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01212404

zbMATH Keywords

algebrastype inferenceForthsemantic model languagestack based language

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

A type system with subtyping for WebAssembly's stack polymorphism

Cites Work

• Unnamed Item