Author:
Swierstra Wouter,Alpuim Joao
Publisher
Springer International Publishing
Reference21 articles.
1. Altenkirch, T., Morris, P.: Indexed containers. In: 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, pp. 227–285 (2009)
2. Back, R.J.R., von Wright, J.: Refinement concepts formalized in higher order logic. Formal Aspects Comput. 2, 247–272 (1989)
3. Texts in Computer Science;J Wright Von,1998
4. Back, R.J.R., von Wright, J.: Refinement concepts formalised in higher order logic. Formal Aspects Comput. 2(1), 247–272 (1990)
5. Back, R.J.R.: On the Correctness of Refinement in Program Development. PhD thesis, University of Helsinki (1978)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Algorithmics;IFIP Advances in Information and Communication Technology;2021
2. A predicate transformer semantics for effects (functional pearl);Proceedings of the ACM on Programming Languages;2019-07-26
3. Embedding the refinement calculus in Coq;Science of Computer Programming;2018-10
4. Foundations of dependent interoperability;Journal of Functional Programming;2018
5. Partial type equivalences for verified dependent interoperability;ACM SIGPLAN Notices;2016-12-05