Publisher
Springer International Publishing
Reference19 articles.
1. Cousot, P.: Types as abstract interpretations. In: Proceedings POPL, pp. 316–331. ACM (1997)
2. Lecture Notes in Computer Science;JP Gallagher,2004
3. Hermenegildo, M.V., et al.: An overview of Ciao and its design philosophy. TPLP 12(1–2), 219–252 (2012)
4. Jeffery, D.: Expressive type systems for logic programming languages. PhD thesis, Department of Computer Science and Software Engineering, The University of Melbourne (2002)
5. Jimenez, M., Lindahl, T., Sagonas, K.: A language for specifying type contracts in Erlang and its interaction with success typings. In: Proceedings ERLANG, pp. 11–17. ACM (2007)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献