Type equivalence in strongly typed languages: one more look

Authors:
Daniel M. Berry;Richard L. Schwartz
Affiliations:
Weizmann Institute of Science, Rehovot, Israel;Weizmann Institute of Science, Rehovot, Israel
Venue:
ACM SIGPLAN Notices
Year:
1979

Citing 4
Cited 0

PASCAL user manual and report

PASCAL user manual and report
Programming with abstract data types

Proceedings of the ACM SIGPLAN symposium on Very high level languages
Notes on the design of Euclid

Proceedings of an ACM conference on Language design for reliable software
Report on the programming language Euclid

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract