Author:
Ghani Neil,Nordvall Forsberg Fredrik,Simpson Alex
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Universal properties for universal types in bifibrational parametricity;Mathematical Structures in Computer Science;2019-03-22
2. A relational logic for higher-order programs;Journal of Functional Programming;2019
3. A General Framework for Relational Parametricity;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
4. A relational logic for higher-order programs;Proceedings of the ACM on Programming Languages;2017-08-29
5. Coupling proofs are probabilistic product programs;ACM SIGPLAN Notices;2017-05-11