A theory of typed coercions and its applications.
A theory of typed coercions and its applications.
Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman
01 September 2009
Venue : ICFP
External Link: https://doi.org/10.1145/1596550.1596598
01 September 2009
Venue : ICFP
External Link: https://doi.org/10.1145/1596550.1596598