Lazy Behavioral Subtyping.

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen

Browse the full FM paper archive.