David J. Pearce - CurryOn 2016

Mon 18 - Tue 19 July 2016 Rome, Italy

co-located with ECOOP 2016

Registered user since Wed 7 Jan 2015

Name:David J. Pearce

Affiliation:Victoria University of Wellington

Personal website: http://homepages.ecs.vuw.ac.nz/~djp/

Contributions

2016

ECOOP

Committee Member in External Review Committee within the Research Track-track

FTfJP

A Mechanical Soundness Proof for Subtyping Over Recursive Types

Show activities from other conferences

ECOOP 2016-profile
View general profile