Joseph W. Cutler - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Mon 2 Dec 2019

Name:Joseph W. Cutler

Affiliation:University of Pennsylvania

Personal website: https://cis.upenn.edu/~jwc

Research interests:Programming Languages

Contributions

2024

Dafny

Improving the Stability of Type Safety Proofs in Dafny

Show activities from other conferences

POPL 2024-profile
View general profile