Publications
Export 1 results:
Author Title Type [ Year] Filters: Keyword is coercion insertion [Clear All Filters]
2009. A theory of typed coercions and its applications. Proceedings of the 14th ACM SIGPLAN international conference on Functional programming. :329-340.