Grids: A New Program Structuring Mechanism Based on Layered Graphs.

Harold Ossher

Browse the full POPL paper archive.