受强制性开放获取政策约束的文章 - Ankush Das了解详情
可在其他位置公开访问的文章：12 篇
Towards automatic resource bound analysis for OCaml
J Hoffmann, A Das, SC Weng
ACM SIGPLAN Symposium on Principles of Programming Languages 52 (1), 359-373, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
Resource-aware session types for digital contracts
A Das, S Balzer, J Hoffmann, F Pfenning, I Santurkar
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021
强制性开放获取政策： US National Science Foundation
Work analysis with resource-aware session types
A Das, J Hoffmann, F Pfenning
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
强制性开放获取政策： US Department of Defense
Parallel complexity analysis with temporal session types
A Das, J Hoffmann, F Pfenning
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
强制性开放获取政策： US Department of Defense
Nested Session Types
A Das, H DeYoung, A Mordido, F Pfenning
30th European Symposium on Programming, ESOP 2021, Held as Part of the …, 2021
强制性开放获取政策： US National Science Foundation, Fundação para a Ciência e a Tecnologia, Portugal
Rast: A language for resource-aware session types
A Das, F Pfenning
Logical Methods in Computer Science 18, 2022
强制性开放获取政策： US National Science Foundation
Rast: Resource-aware session types with arithmetic refinements
A Das, F Pfenning
Leibniz international proceedings in informatics 167, 2020
强制性开放获取政策： US National Science Foundation
Probabilistic resource-aware session types
A Das, D Wang, J Hoffmann
Proceedings of the ACM on Programming Languages 7 (POPL), 1925-1956, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
Verified linear session-typed concurrent programming
A Das, F Pfenning
Proceedings of the 22nd International Symposium on Principles and Practice …, 2020
强制性开放获取政策： US National Science Foundation
Exact and Linear-Time Gas-Cost Analysis
A Das, S Qadeer
International Static Analysis Symposium, 333-356, 2020
强制性开放获取政策： US National Science Foundation
ML for ML: learning cost semantics by experiment
A Das, J Hoffmann
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
Parametric subtyping for structural parametric polymorphism
H DeYoung, A Mordido, F Pfenning, A Das
Proceedings of the ACM on Programming Languages 8 (POPL), 2700-2730, 2024
强制性开放获取政策： Fundação para a Ciência e a Tecnologia, Portugal
出版信息和资助信息由计算机程序自动确定