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:
2000
1999Wrote 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.