From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages (1997)

Cached

Download Links

by David Sands
Venue:In Proc. POPL'97, the 24 th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:17 - 1 self