James Hook

William L. Harrison, James Hook: Achieving information flow security through monadic control of effects. Journal of Computer Security 17(5): 599-653 (2009)

James Hook, Michael Sperber: The ICFP developer conference 2008. SIGPLAN Notices 43(5): 3-4 (2008)

James Hook, Peter Thiemann (Eds.): Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008. ACM 2008, isbn 978-1-59593-919-7

William L. Harrison, James Hook: Achieving Information Flow Security through Precise Control of Effects. CSFW 2005: 16-30

Songtao Xia, James Hook: Certifying Temporal Properties for Compiled C Programs. VMCAI 2004: 161-174

Songtao Xia, James Hook: Experience with Abstraction-carrying Code. Electr. Notes Theor. Comput. Sci. 89(3): 433-449 (2003)

William L. Harrison, Tim Sheard, James Hook: Fine Control of Demand in Haskell. MPC 2002: 68-93

Erik Meijer, Daan Leijen, James Hook: Client-Side Web Scripting with HaskellScript. PADL 1999: 196-210

Daan Leijen, Erik Meijer, James Hook: Haskell as an Automation Controller. Advanced Functional Programming 1998: 268-289

Jeffrey M. Bell, Françoise Bellegarde, James Hook: Type-Driven Defunctionalization. ICFP 1997: 25-37

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

Judy Bamberger, James Hook: Teaching Software Quality and Leadership: Experiences and Successes. APSEC 1995: 333-344

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

Françoise Bellegarde, James Hook: Subsitution: A Formal Methods Case Study Using Monads and Transformations. Sci. Comput. Program. 23(2-3): 287-311 (1994)

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

Harini Srinivasan, James Hook, Michael Wolfe: Static Single Assignment for Explicitely Parallel Programs. POPL 1993: 260-272

Françoise Bellegarde, James Hook: Monads, Indexes and Transformations. TAPSOFT 1993: 314-327

Carl Eichenlaub, Bruce Esrig, James Hook, Carl Klapper, Garrel Pottinger: The Romulus Proof Checker. CADE 1990: 651-652

James Hook: Understanding Russell- A First Attempt. Semantics of Data Types 1984: 69-86