| 2008 |
|---|
| 18 | | James Hook,
Peter Thiemann:
Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008
ACM 2008 |
| 17 | EE | James Hook,
Michael Sperber:
The ICFP developer conference 2008.
SIGPLAN Notices 43(5): 3-4 (2008) |
| 2005 |
|---|
| 16 | EE | William L. Harrison,
James Hook:
Achieving Information Flow Security through Precise Control of Effects.
CSFW 2005: 16-30 |
| 2004 |
|---|
| 15 | EE | Songtao Xia,
James Hook:
Certifying Temporal Properties for Compiled C Programs.
VMCAI 2004: 161-174 |
| 2003 |
|---|
| 14 | EE | Songtao Xia,
James Hook:
Experience with Abstraction-carrying Code.
Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
| 2002 |
|---|
| 13 | EE | William L. Harrison,
Tim Sheard,
James Hook:
Fine Control of Demand in Haskell.
MPC 2002: 68-93 |
| 1999 |
|---|
| 12 | EE | Erik Meijer,
Daan Leijen,
James Hook:
Client-Side Web Scripting with HaskellScript.
PADL 1999: 196-210 |
| 1998 |
|---|
| 11 | | Daan Leijen,
Erik Meijer,
James Hook:
Haskell as an Automation Controller.
Advanced Functional Programming 1998: 268-289 |
| 1997 |
|---|
| 10 | | Jeffrey M. Bell,
Françoise Bellegarde,
James Hook:
Type-Driven Defunctionalization.
ICFP 1997: 25-37 |
| 1996 |
|---|
| 9 | EE | Richard B. Kieburtz,
Laura McKinney,
Jeffrey M. Bell,
James Hook,
Alex Kotov,
Jeffrey Lewis,
Dino Oliva,
Tim Sheard,
Ira Smith,
Lisa Walton:
A Software Engineering Experiment in Software Component Generation.
ICSE 1996: 542-552 |
| 1995 |
|---|
| 8 | EE | Judy Bamberger,
James Hook:
Teaching Software Quality and Leadership: Experiences and Successes.
APSEC 1995: 333-344 |
| 7 | | Richard B. Kieburtz,
Françoise Bellegarde,
Jeffrey M. Bell,
James Hook,
Jeffrey Lewis,
Dino Oliva,
Tim Sheard,
Lisa Walton,
Tong Zhou:
Calculating Software Generators from Solution Specifications.
TAPSOFT 1995: 546-560 |
| 1994 |
|---|
| 6 | EE | Jeffrey M. Bell,
Françoise Bellegarde,
James Hook,
Richard B. Kieburtz,
Alex Kotov,
Jeffrey Lewis,
Laura McKinney,
Dino Oliva,
Tim Sheard,
L. Tong,
Lisa Walton,
Tong Zhou:
Software design for reliability and reuse: a proof-of-concept demonstration.
TRI-Ada 1994: 396-404 |
| 5 | | Françoise Bellegarde,
James Hook:
Subsitution: A Formal Methods Case Study Using Monads and Transformations.
Sci. Comput. Program. 23(2-3): 287-311 (1994) |
| 1993 |
|---|
| 4 | | Harini Srinivasan,
James Hook,
Michael Wolfe:
Static Single Assignment for Explicitely Parallel Programs.
POPL 1993: 260-272 |
| 3 | | Françoise Bellegarde,
James Hook:
Monads, Indexes and Transformations.
TAPSOFT 1993: 314-327 |
| 1990 |
|---|
| 2 | | Carl Eichenlaub,
Bruce Esrig,
James Hook,
Carl Klapper,
Garrel Pottinger:
The Romulus Proof Checker.
CADE 1990: 651-652 |
| 1984 |
|---|
| 1 | | James Hook:
Understanding Russell- A First Attempt.
Semantics of Data Types 1984: 69-86 |
