Author:
Knowles Kenneth,Flanagan Cormac
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Aiken, A., Wimmers, E.: Type inclusion constraints and type inference. In: Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pp. 31–41 (1993)
2. Back, R.J.R.: A calculus of refinements for program derivations. Acta Informatica 25(6), 593–624 (1988)
3. Hoare, C.A.R.: An axiomatic basis for computer programming. Communications of the ACM 12, 576–580 (1969)
4. Cousot, P., Cousot, R.: Formal language, grammar, and set-constraint-based program analysis by abstract interpretation. In: Proceedings of the International Conference on Functional Programming and Computer Architecture, pp. 170–181 (1995)
5. Davies, R., Pfenning, F.: Intersection types and computational effects. In: Proceedings of the ACM International Conference on Functional Programming, pp. 198–208. ACM Press, New York (2000)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic Types with Polynomial Sizes;Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming;2023-06-06
2. A Hoare logic style refinement types formalisation;Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development;2022-09-06
3. Local refinement typing;Proceedings of the ACM on Programming Languages;2017-08-29
4. Refinement Types for tla +;Lecture Notes in Computer Science;2014
5. Automatic Type Inference for Amortised Heap-Space Analysis;Programming Languages and Systems;2013