Jonathan Aldrich
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Syntactically restricting bounded polymorphism for decidable subtyping | 2021-07-08 | Paper |
| Gradual program verification Lecture Notes in Computer Science | 2020-07-07 | Paper |
| A type system for borrowing permissions Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| scientific article; zbMATH DE number 2089391 (Why is no real title available?) | 2004-08-12 | Paper |
| Comprehensive synchronization elimination for Java. Science of Computer Programming | 2003-08-07 | Paper |
Research outcomes over time
This page was built for person: Jonathan Aldrich