The following pages link to Jonathan Aldrich (Q1398667):
Displayed 5 items.
- Comprehensive synchronization elimination for Java. (Q1398671) (← links)
- Syntactically restricting bounded polymorphism for decidable subtyping (Q2038076) (← links)
- A type system for borrowing permissions (Q2942905) (← links)
- (Q3046750) (← links)
- Gradual Program Verification (Q3296319) (← links)