1977/08/01 by Charles M. Geschke, James H. Morris, Edwin H. Satterthwaite · 3 citations
Computer Science · #Parallel Computing and Optimization Techniques #Distributed and Parallel Computing Systems #Logic, programming, and type systems
paper · pdf · doi:10.1145/359763.359771
openalex publication_date 1977/08/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/06/26
The experiences of Mesa's first users—primarily its implementers—are discussed, and some implications for Mesa and similar programming languages are suggested. The specific topics addressed are: module structure and its use in defining abstractions, data-structuring facilities in Mesa, an equivalence algorithm for types and type coercions, the benefits of the type system and why it is breached occasionally, and the difficulty of making the treatment of variant records safe.