1997 |
4 | | Jeffrey M. Bell,
Françoise Bellegarde,
James Hook:
Type-Driven Defunctionalization.
ICFP 1997: 25-37 |
1996 |
3 | 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 |
2 | | 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 |
1 | 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 |