Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is gradual typing  [Clear All Filters]
2009
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.