Neil D. Jones

Computability Theory

2004

The essence of computation

2004

Partial evaluation and automatic program generation

1993

Program flow analysis

1981

Computability theory: an introduction

1973

Programs as data objects