Institute for Software Research
School of Computer Science, Carnegie Mellon University
A Translation Proof of Nominal Wyvern Soundness
Yu Xiang Zhu, Julian Mackay*, Alex Potanin*, Jonathan Aldrich
October 2019
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
Return to:
SCS Technical Report Collection This page maintained by reports@cs.cmu.edu
School of Computer Science