Login / Signup
Jeffrey M. Bell
Publication Activity (10 Years)
Years Active: 1994-1997
Publications (10 Years): 0
</>
Publications
</>
Jeffrey M. Bell
,
Françoise Bellegarde
,
James Hook
Type-Driven Defunctionalization.
ICFP
(1997)
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)
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)
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)