Names, Equations, Relations: Practical Ways to Reason about new
Authors:
Ian Stark
Affiliations:
-
Venue:
TLCA '97 Proceedings of the Third International Conference on Typed Lambda Calculi and Applications
Year:
1997
Citing
0
Cited
1
Compilation and equivalence of imperative objects
Journal of Functional Programming
Quantified Score
Hi-index
0.00
Visualization
Abstract