Cited By
View all- Tanaka ISakayori KKobayashi NKeller GWang M(2024)Ownership Types for Verification of Programs with Pointer ArithmeticProceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation10.1145/3635800.3636965(94-106)Online publication date: 11-Jan-2024
- Geller AFrank JBowman W(2024)Indexed Types for a Statically Safe WebAssemblyProceedings of the ACM on Programming Languages10.1145/36329228:POPL(2395-2424)Online publication date: 5-Jan-2024
- Knoth TWang DReynolds AHoffmann JPolikarpova N(2020)Liquid resource typesProceedings of the ACM on Programming Languages10.1145/34089884:ICFP(1-29)Online publication date: 3-Aug-2020
- Show More Cited By