Structured Operational Semantics of a fragment of the language Scheme
HONSELL, FURIO, PRAVATO, ALBERTO, DELLA ROCCA, SIMONA RONCHIVolume:
8
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796898003074
Date:
July, 1998
File:
PDF, 351 KB
english, 1998