Uri Zarfaty (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Nick Benton, Uri Zarfaty: Formalizing and verifying semantic type soundness of a simple compiler. PPDP 2007: 1-12

Selection of 1 from 8 records - Uri Zarfaty has 5 coauthors