Gradual Soundness: Lessons from Static Python
Gradual Soundness: Lessons from Static Python
复制标题
渐进的稳健性：来自静态 Python 的教训
DOI：
10.22152/programming-journal.org/2023/7/2
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Krishnamurthi, Shriram
中科院分区：
文献类型：
--
作者：
Lu, Kuang-Chen;Greenman, Ben;Meyer, Carl;Viehland, Dino;Panse, Aniket;Krishnamurthi, Shriram
登录
查看更多内容
TypeScript 的具体类型
影响因子：
--
作者：
G. Richards;Francesco Zappa Nardelli;J. Vitek
通讯作者：
J. Vitek
渐进打字：新视角
影响因子：
--
作者：
Castagna, Giuseppe;Lanvin, Victor;Petrucciani, Tommaso;Siek, Jeremy G.
通讯作者：
Siek, Jeremy G.
DOI：
10.1145/2837614.2837615
发表时间：
2016-01
期刊：
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Shaked Flur;Kathryn E. Gray;Christopher Pulte;Susmit Sarkar;A. Sezgin;Luc Maranget;Will Deacon;Peter Sewell
通讯作者：
Shaked Flur;Kathryn E. Gray;Christopher Pulte;Susmit Sarkar;A. Sezgin;Luc Maranget;Will Deacon;Peter Sewell
声音渐进打字已经死了吗？
DOI：
--
发表时间：
2016
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Asumu Takikawa;Daniel Feltey;B. Greenman;Max S. New;J. Vitek;M. Felleisen
通讯作者：
M. Felleisen
可折叠合约：修复渐进式打字的病态
影响因子：
--
作者：
Feltey, Daniel;Greenman, Ben;Scholliers, Christophe;Findler, Robert Bruce;St-Amour, Vincent
通讯作者：
St-Amour, Vincent