1996
Implicit coercions in type systems
Publication
Publication
Presented at the
International Conference Types for Proofs and Programs, Turin, Italy
Additional Metadata | |
---|---|
, , , | |
Springer | |
Lecture Notes in Computer Science | |
International Conference Types for Proofs and Programs | |
Barthe, G. (1996). Implicit coercions in type systems. In Types for Proofs and Programs 1995 (TYPES 9) (pp. 1–15). Springer. |