The Type Structure of CAT
Authors:
J. Paul Myers, Jr.;Ronald E. Prather
Affiliations:
-;-
Venue:
Constructivity in Computer Science, Summer Symposium
Year:
1992
Citing
0
Cited
1
The semantics of CAT
ACM SIGPLAN Notices
Quantified Score
Hi-index
0.00
Visualization
Abstract