Type Soundness Proofs With Definitional Interpreters

doi 10.1145/3009837.3009866
Full Text
Abstract

Available in full text

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

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

Journal of Mathematical Inequalities
Analysis
2013English

Definitional Reflection and the Completion

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Interpreters’ Identities: An Exploratory Study of Vietnamese Interpreters in Vietnam

TranscUlturAl: A Journal of Translation and Cultural Studies
2009English

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

2011English

Training Healthcare Professionals to Work With Interpreters

British Journal of General Practice
MedicineFamily Practice
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy