— Technical Report — Version 2.0: revised and extended JanuaryInitially published JulyFrom F to DOT: Type Soundness Proofs with Definitional Interpreters Tiark Rompf ∗ - Soundness - Document - PDFSEARCH.IO

First Page	Meta Content
	— Technical Report — Version 2.0: revised and extended JanuaryInitially published JulyFrom F to DOT: Type Soundness Proofs with Definitional Interpreters Tiark Rompf ∗ Add to Reading List Document Date: 2016-02-07 20:48:59 Open Document File Size: 408,90 KB Share Result on Facebook

— Technical Report — Version 2.0: revised and extended JanuaryInitially published JulyFrom F to DOT: Type Soundness Proofs with Definitional Interpreters Tiark Rompf ∗Add to Reading List