Publications
Export 1 results:
Author Title Type [ Year] Filters: Keyword is geometry of interaction [Clear All Filters]
2007. Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.