Neil D. Jones - PEPM 2017

Registered user since Fri 16 Dec 2016

In memory of Neil D. Jones^{† 2023}

The information presented here reflects the last version of Neil D. Jones's profile during POPL 2017. It may not have been revised to account for their passing.

Affiliation:University of Copenhagen, Danmark

Contributions

2017

PEPM

Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk)

Show activities from other conferences

POPL 2017-profile
View general profile

In memory of Neil D. Jones † 2023

2017

PEPM

In memory of Neil D. Jones^{† 2023}