Общедоступные статьи - Alex PotaninПодробнее...
6 статей доступны в некоторых источниках
A capability-based module system for authority control
D Melicher, Y Shi, A Potanin, J Aldrich
31st European Conference on Object-Oriented Programming (ECOOP 2017), 20: 1 …, 2017
Финансирование: US Department of Defense
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
Decidable subtyping for path dependent types
J Mackay, A Potanin, J Aldrich, L Groves
Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019
Финансирование: US Department of Defense
Abstract and concrete data types vs object capabilities
J Noble, A Potanin, T Murray, MS Miller
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter …, 2018
Финансирование: US Department of Defense
Immutability and encapsulation for sound OO information flow control
T Runge, M Servetto, A Potanin, I Schaefer
ACM Transactions on Programming Languages and Systems 45 (1), 1-35, 2023
Финансирование: Helmholtz Association
Flexible Correct-by-Construction Programming
T Runge, T Bordis, A Potanin, T Thüm, I Schaefer
Logical Methods in Computer Science 19, 2023
Финансирование: Helmholtz Association
Информация о публикациях и финансировании собрана автоматически.