Christine Rizkallah - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

Registered user since Tue 23 Aug 2016

Name:Christine Rizkallah

Country:United States

Affiliation:University of Pennsylvania, USA

Personal website: http://people.mpi-inf.mpg.de/~crizkall/

Research interests:Formal Verification, Interactive Theorem Proving

Contributions

2018

CPP

Total Haskell is Reasonable Coq

Show activities from other conferences

POPL 2018-profile
View general profile

	
		OSZAR »