James Hook
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
1990–2004
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | VMCAI | Certifying Temporal Properties for Compiled C Programs. | Songtao Xia, James Hook |
| 2002 | MPC | Fine Control of Demand in Haskell. | William L. Harrison, Tim Sheard, James Hook |
| 1999 | PADL | Client-Side Web Scripting with HaskellScript. | Erik Meijer, Daan Leijen, James Hook |
| 1997 | ICFP | Type-Driven Defunctionalization. | Jeffrey M. Bell, Franoise Bellegarde, James Hook |
| 1996 | ICSE | A Software Engineering Experiment in Software Component Generation. | Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton |
| 1995 | APSEC | Teaching Software Quality and Leadership: Experiences and Successes. | Judy Bamberger, James Hook |
| 1993 | POPL | Static Single Assignment for Explicitely Parallel Programs. | Harini Srinivasan, James Hook, Michael Wolfe |
| 1990 | CADE | The Romulus Proof Checker. | Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger |