David J. King
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1995–2007
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICFP | Evaluating high-level distributed language constructs. | Jan Henry Nystrm, Philip W. Trinder, David J. King |
| 2005 | SAFECOMP | Are High-Level Languages Suitable for Robust Telecoms Software?. | Jan Henry Nystrm, Philip W. Trinder, David J. King |
| 2000 | ICFP | An operational semantics for parallel lazy evaluation. | Clement A. Baker-Finch, David J. King, Philip W. Trinder |
| 1995 | POPL | Structuring Depth-First Search Algorithms in Haskell. | David J. King, John Launchbury |