CMU-ISR-19-102
Institute for Software Research
School of Computer Science, Carnegie Mellon University



CMU-ISR-19-102

A Translation Proof of Nominal Wyvern Soundness

Yu Xiang Zhu, Julian Mackay*, Alex Potanin*, Jonathan Aldrich

October 2019

CMU-ISR-19-102.pdf

Keywords: Type Safety, Wyvern

This technical report proves type safety for Nominal Wyvern with a translation to pDOT, a DOTbased system with general paths that has been proven to be type safe.

*Victoria University of Wellington, Wellington, New Zealand

27 pages


Return to: SCS Technical Report Collection
School of Computer Science

This page maintained by reports@cs.cmu.edu