The design of Apple—A language for modular programs

DOI10.1016/0096-0551(85)90007-4zbMath0551.68009OpenAlexW2058152179MaRDI QIDQ3343408

Bengt Nordström, Richard B. Kieburtz

Publication date: 1985

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(85)90007-4

zbMATH Keywords

functional programmingabstract data typestype polymorphismApplestatic environments

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: The design of Apple—A language for modular programs