Graduality and parametricity: together again for the first time

Open Webpage

Max S. New, Dustin Jamner, Amal Ahmed

Published: 2020, Last Modified: 11 Mar 2025Proc. ACM Program. Lang. 2020EveryoneRevisionsBibTeXCC BY-SA 4.0