Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jonathan Aldrich
First-Class State Change in Plaid
ACM SIGPLAN Notices
Computer Science
Checking Concurrent Typestate With Access Permissions in Plural: A Retrospective
Statically Typed String Sanitation Inside a Python
A Language-Based Approach to Specification and Enforcement of Architectural Protocols
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Introducing Tool-Supported Architecture Review Into Software Design Education
Polymorphic Access Permissions
Static Extraction and Conformance Analysis of Hierarchical Runtime Architectural Structure Using Annotations
ACM SIGPLAN Notices
Computer Science
Prototypes With Multiple Dispatch: An Expressive and Dynamic Object Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Discovering Architectures From Running Systems: Lessons Learned
1
2
›
