Operational Semantics for Declarative Multi-Paradigm Languages (2005)

by E. Albert , M. Hanus , F. Huch , J. Oliver , G. Vidal
Venue:Journal of Symbolic Computation
Citations:54 - 25 self