Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael M. Vitousek
Big Types in Little Runtime: Open-World Soundness and Collaborative Blame for Gradual Type Systems
ACM SIGPLAN Notices
Computer Science
Related publications
Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages
Approximate Normalization for Gradual Dependent Types
Proceedings of the ACM on Programming Languages
Little, Big
Journal of Cell Science
Cell Biology
Big Steps for Little Feet
Science
Multidisciplinary
Philosophy of Science
History
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science
Applied Mathematics
Computer Science
Runtime Adaptation for Actor Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Big Shots and Little Steps
Journal of College Orientation, Transition, and Retention
The Development and Theoretical Research of “Little-C” (Little-Creativity) and “Big-C” (Big-Creativity)
Advances in Psychology
Big Things - Little Things
Kansas Agricultural Experiment Station Research Reports
