Author:
Siek Jeremy,Garcia Ronald,Taha Walid
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: ACM International Conference on Functional Programming (October 2002)
2. Flanagan, C.: Hybrid type checking. In: POPL 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, pp. 245–256 (January 2006)
3. Flanagan, C., Freund, S.N., Tomb, A.: Hybrid types, invariants, and refinements for imperative objects. In: FOOL/WOOD2006: International Workshop on Foundations and Developments of Object-Oriented Languages (2006)
4. Gronski, J., Flanagan, C.: Unifying hybrid types and contracts. In: Trends in Functional Prog. (TFP) (2007)
5. Lecture Notes in Computer Science;F. Henglein,1992
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Gradual Indexed Inductive Types;Proceedings of the ACM on Programming Languages;2024-08-15
2. Static Blame for gradual typing;Journal of Functional Programming;2024
3. How Profilers Can Help Navigate Type Migration;Proceedings of the ACM on Programming Languages;2023-10-16
4. A Gradual Probabilistic Lambda Calculus;Proceedings of the ACM on Programming Languages;2023-04-06
5. Typed–Untyped Interactions: A Comparative Analysis;ACM Transactions on Programming Languages and Systems;2023-03-05