Chromar, a Rule-based Language of Parameterised Objects

Ricardo Honorato-Zimmer, Andrew J. Millar, Gordon D. Plotkin, Argyris Zardilis. Chromar, a Rule-based Language of Parameterised Objects. Electronic Notes in Theoretical Computer Science, 335:49-66, 2018. [doi]

Abstract

Abstract is missing.