Steve Zdancewic - ICFP 2023

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Registered user since Tue 9 Jun 2015

Name:Steve Zdancewic

Country:United States

Affiliation:University of Pennsylvania

Personal website: http://www.cis.upenn.edu/~stevez

Research interests:Programming Languages, Type Theory, Logic

Contributions

2023

HOPE

Granite: Compositional Functional Logic Programming

Show activities from other conferences

ICFP 2023-profile
View general profile

	
		OSZAR »