Type Soundness Proofs With Definitional Interpreters

doi 10.1145/3009837.3009866

Full Text

Abstract

Available in

Date

Authors

Publisher

ACM Press

Related search

Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages

2020English

Standard Type Soundness for Agents and Artifacts

Scientific Annals of Computer Science
Applied MathematicsComputer Science
2012English

Simple Proofs of Bernstein-Type Inequalities

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1988English

Industry Soundness

Journal of the American Water Works Association
Water ScienceChemistryTechnology
2018English

Definitional Reflection and the Completion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Simple Proofs of the Cusa-Huygens-Type and Becker-Stark-Type Inequalities

Journal of Mathematical Inequalities
Analysis
2013English

Training Healthcare Professionals to Work With Interpreters

British Journal of General Practice
MedicineFamily Practice
2013English

Definitional Strategy of Medical Term Semantization

2019English

Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy