Programming in Equational Logic: Beyond Strong Sequentiality

R. C. Sekar, I. V. Ramakrishnan

Browse the full LICS paper archive.