John Longley
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1999–2008
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CiE | Interpreting Localized Computational Effects Using Operators of Higher Type. | John Longley |
| 2000 | FOSSACS | Constructive Data Refinement in Typed Lambda Calculus. | Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki |
| 1999 | ICFP | When is a Functional Program Not a Functional Program? | John Longley |