`Travelled to:`

1 × France

1 × Germany

`Collaborated with:`

∅ F.Honsell D.Sannella A.Tarlecki

`Talks about:`

function (2) program (2) construct (1) calculus (1) refin (1) when (1) type (1) data (1) not (1)

## Person: John Longley

### DBLP: Longley:John

### Contributed to:

### Wrote 2 papers:

- FoSSaCS-2000-HonsellLST #refinement #λ-calculus
- Constructive Data Refinement in Typed λ Calculus (FH, JL, DS, AT), pp. 161–176.
- ICFP-1999-Longley #functional #question
- When is a Functional Program Not a Functional Program? (JL), pp. 1–7.