Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is nonambiguity  [Clear All Filters]
Conference Papers
Swamy N, Hicks MW, Bierman GM.  2009.  A theory of typed coercions and its applications. Proceedings of the 14th ACM SIGPLAN international conference on Functional programming. :329-340.