Andrew W. Appel - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Registered user since Fri 12 Jun 2020

Name:Andrew W. Appel

Affiliation:Princeton

Personal website: http://www.cs.Princeton.EDU/~appel

Contributions

2016

CoqPL

The Science of Deep Specification

Show activities from other conferences

POPL 2016-profile
View general profile