Metadata

Source URL:: https://www21.in.tum.de/~nipkow/pubs/aplas11.pdf
Topics:: #coercion, #type-systems, #subtyping, #coercive-subtyping

Highlights