Neil D. Jones -

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. It may not have been revised to account for their passing.

Affiliation:University of Copenhagen, Danmark

Contributions

2017

PEPM

Author of Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Talk) within the PEPM 2017-track