Types in Programming Languages, Between Modelling, Abstraction, and Correctness

DOI10.1007/978-3-319-40189-8_17zbMath1475.68049OpenAlexW2465440394MaRDI QIDQ3188252

Simone Martini

Publication date: 17 August 2016

Published in: Pursuit of the Universal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40189-8_17

zbMATH Keywords

typesprogramming languageshistory of computingabstraction mechanisms

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• ML
• Simula 67

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A science of operations. Machines, logic and the invention of programming.
• Programming languages: Principles and paradigms
• A theory of type polymorphism in programming
• Proof of correctness of data representations
• Haskell before Haskell: an alternative lesson in practical logics of the ENIAC
• Abstraction mechanisms in CLU
• SIMULA: an ALGOL-based simulation language
• Proving Properties of Programs by Structural Induction
• Letter to the Editor

This page was built for publication: Types in Programming Languages, Between Modelling, Abstraction, and Correctness