Paul He - POPL 2020

Registered user since Wed 23 Aug 2017

Name:Paul He

Bio:

I am a 2nd year PhD student at the University of Pennsylvania.

Country:United States

Affiliation:University of Pennsylvania

Research interests:Programming languages

Contributions

CPP 2020	An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction
POPL 2020	Interaction Trees: Representing Recursive and Impure Programs in Coq
Show activities from other conferences