Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification.

Paul A. Bailes, Colin J. M. Kemp

Browse the full COMPSAC paper archive.