dblp.uni-trier.dewww.uni-trier.de

James Hook Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
17EEJames Hook, Michael Sperber: The ICFP developer conference 2008. SIGPLAN Notices 43(5): 3-4 (2008)
2005
16EEWilliam L. Harrison, James Hook: Achieving Information Flow Security through Precise Control of Effects. CSFW 2005: 16-30
2004
15EESongtao Xia, James Hook: Certifying Temporal Properties for Compiled C Programs. VMCAI 2004: 161-174
2003
14EESongtao Xia, James Hook: Experience with Abstraction-carrying Code. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
2002
13EEWilliam L. Harrison, Tim Sheard, James Hook: Fine Control of Demand in Haskell. MPC 2002: 68-93
1999
12EEErik 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
9EERichard 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
8EEJudy Bamberger, James Hook: Teaching Software Quality and Leadership: Experiences and Successes. APSEC 1995: 333-344
7EERichard 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
6EEJeffrey 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
3EEFrançoise Bellegarde, James Hook: Monads, Indexes and Transformations. TAPSOFT 1993: 314-327
1990
2EECarl 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

Coauthor Index

1Judy Bamberger [8]
2Jeffrey M. Bell [6] [7] [9] [10]
3Françoise Bellegarde (Françoise Bellegarde-Webb) [3] [5] [6] [7] [10]
4Carl Eichenlaub [2]
5Bruce Esrig [2]
6William L. Harrison [13] [16]
7Richard B. Kieburtz (Dick Kieburtz) [6] [7] [9]
8Carl Klapper [2]
9Alex Kotov [6] [9]
10Daan Leijen [11] [12]
11Jeffrey Lewis [6] [7] [9]
12Laura McKinney [6] [9]
13Erik Meijer [11] [12]
14Dino Oliva [6] [7] [9]
15Garrel Pottinger [2]
16Tim Sheard [6] [7] [9] [13]
17Ira Smith [9]
18Michael Sperber [17]
19Harini Srinivasan [4]
20Peter Thiemann [18]
21L. Tong [6]
22Lisa Walton [6] [7] [9]
23Michael Wolfe [4]
24Songtao Xia [14] [15]
25Tong Zhou [6] [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)