受强制性开放获取政策约束的文章 - Stephanie Balzer了解详情
可在其他位置公开访问的文章：12 篇
Manifest sharing with session types. PACMPL 1, ICFP (2017), 37: 1–37: 29
S Balzer, F Pfenning
强制性开放获取政策： US National Science Foundation
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
Wyvern: A simple, typed, and pure object-oriented language
L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich
Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013
强制性开放获取政策： Swiss National Science Foundation
Ferrite: A judgmental embedding of session types in Rust
R Chen, S Balzer, B Toninho
arXiv preprint arXiv:2009.13619, 2020
强制性开放获取政策： US National Science Foundation, Fundação para a Ciência e a Tecnologia, Portugal
Connectivity graphs: a method for proving deadlock freedom based on separation logic
J Jacobs, S Balzer, R Krebbers
Proceedings of the ACM on Programming Languages 6 (POPL), 1-33, 2022
强制性开放获取政策： US National Science Foundation, Netherlands Organisation for Scientific Research
Multiparty GV: functional multiparty session types with certified deadlock freedom
J Jacobs, S Balzer, R Krebbers
Proceedings of the ACM on Programming Languages 6 (ICFP), 466-495, 2022
强制性开放获取政策： US National Science Foundation, US Department of Defense, Netherlands …
A universal session type for untyped asynchronous communication
S Balzer, F Pfenning, B Toninho
29th International Conference on Concurrency Theory (CONCUR 2018), 2018
强制性开放获取政策： US National Science Foundation
Higher-order leak and deadlock free locks
J Jacobs, S Balzer
Proceedings of the ACM on Programming Languages 7 (POPL), 1027-1057, 2023
强制性开放获取政策： US National Science Foundation, US Department of Defense
DisLog: A Separation Logic for Disentanglement
A Moine, S Westrick, S Balzer
Proceedings of the ACM on Programming Languages 8 (POPL), 302-331, 2024
强制性开放获取政策： US National Science Foundation
Information Flow Control in Cyclic Process Networks
B van den Heuvel, F Derakhshan, S Balzer
38th European Conference on Object-Oriented Programming, ECOOP 2024, 35, 2024
强制性开放获取政策： Netherlands Organisation for Scientific Research
Selective ownership: Combining object and type hierarchies for flexible sharing
S Balzer, TR Gross, P Müller
FOOL 2012: 19th International Workshop on Foundations of Object-Oriented …, 2012
强制性开放获取政策： Swiss National Science Foundation
Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact)
F Derakhshan, S Balzer, Y Yao
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024
强制性开放获取政策： US Department of Defense
出版信息和资助信息由计算机程序自动确定