Publications
Filter by
Open menu
1 result for
Timothy C. Winkler
DENOTATIONAL SEMANTICS AND REWRITE RULES FOR FP.
Joseph Y. Halpern
John H. Williams
et al.
1984
POPL 1984