Skip to content

The Formal Description of Data Types Using Sketches.

Charles Wells, Michael Barr

VenueBMFPS
Year1987
ProceedingsMFPS

Browse the full MFPS paper archive.