Denotational Semantics and Rewrite Rules for FP.

Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler

Browse the full POPL paper archive.