Author:
Diatchki Iavor S.,Jones Mark P.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Haskell Library for Safer Virtual Machine Introspection (Experience Report);Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30
2. Dargent: A Silver Bullet for Verified Data Layout Refinement;Proceedings of the ACM on Programming Languages;2023-01-09
3. A compiler and verifier for page access oblivious computation;Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering;2017-08-21
4. Guilt free ivory;ACM SIGPLAN Notices;2016-01-28
5. Guilt free ivory;Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell;2015-08-30