Types in a mixed language system

DOI10.1007/BF01941461zbMath0472.68044OpenAlexW2075633714MaRDI QIDQ1157916

S. H. Smith

Publication date: 1981

Published in: BIT (Search for Journal in Brave)

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

zbMATH Keywords

interfacesprogramming languagetype checkingprocedures21, 246-254 (1981)foreign types

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of software (68N99)

Cites Work

• Early experience with Mesa

This page was built for publication: Types in a mixed language system