Not registered as user yet

Name: Yufei Cai

Affiliation: University of Tübingen, Germany

POPL 2016 Activities

• Author of System Fω with Equirecursive Types for Datatype-generic Programming within the Research Papers-track in POPL 2016
• Show activities from other conferences