Author:
Gordon M.,Milner R.,Morris L.,Newey M.,Wadsworth C.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Tactics for Account Access Graphs;Computer Security – ESORICS 2023;2024
2. Cakes That Bake Cakes: Dynamic Computation in CakeML;Proceedings of the ACM on Programming Languages;2023-06-06
3. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12
4. Interaction with Formal Mathematical Documents in Isabelle/PIDE;Lecture Notes in Computer Science;2019
5. Hazelnut: a bidirectionally typed structure editor calculus;ACM SIGPLAN Notices;2017-05-11