Big Types in Little Runtime: Open-World Soundness and Collaborative Blame for Gradual Type Systems

ACM SIGPLAN Notices - United States
doi 10.1145/3093333.3009849
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

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

2011English

Approximate Normalization for Gradual Dependent Types

Proceedings of the ACM on Programming Languages
2019English

Little, Big

Journal of Cell Science
Cell Biology
2011English

Big Steps for Little Feet

Science
MultidisciplinaryPhilosophy of ScienceHistory
2010English

Standard Type Soundness for Agents and Artifacts

Scientific Annals of Computer Science
Applied MathematicsComputer Science
2012English

Runtime Adaptation for Actor Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Big Shots and Little Steps

Journal of College Orientation, Transition, and Retention
2019English

The Development and Theoretical Research of “Little-C” (Little-Creativity) and “Big-C” (Big-Creativity)

Advances in Psychology
2017English

Big Things - Little Things

Kansas Agricultural Experiment Station Research Reports
1982English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy