Regular-Language Semantics for a Call-by-Value Programming Language

D. Ghica
DOI: https://doi.org/10.1016/S1571-0661(04)80958-7
2001-11-01
Abstract:
What problem does this paper attempt to address?