Luke Hornof
发表
Dan Grossman,
Trevor Jim,
Greg Morrisett,
2000
.
Dan Grossman,
Trevor Jim,
J. Gregory Morrisett,
2003,
Journal of Functional Programming.
Jacques Noyé,
Charles Consel,
Luke Hornof,
1996,
Dagstuhl Seminar on Partial Evaluation.
Luke Hornof,
1992
.
Luke Hornof,
2000,
IWAN.
Jacques Noyé,
Charles Consel,
Luke Hornof,
1997,
SAS.
Trevor Jim,
Luke Hornof,
T. Jim,
1999,
High. Order Symb. Comput..
Jacques Noyé,
Luke Hornof,
1997,
PEPM.
Jacques Noyé,
Luke Hornof,
2000,
Theor. Comput. Sci..
Scott Nettles,
Michael W. Hicks,
Jonathan T. Moore,
1998,
ISMM '98.
Dan Grossman,
Trevor Jim,
Greg Morrisett,
2000
.
Xin Wang,
Stewart Hall,
Arjun K. Bansal,
2017,
NIPS.
Charles Consel,
Gilles Muller,
Renaud Marlet,
1998,
CSUR.
A Uniform and Automatic Approach to Copy Elimination in System Extensions via Program Specialization
Calton Pu,
Jacques Noyé,
Charles Consel,
1996
.
Julia L. Lawall,
Charles Consel,
Luke Hornof,
1998,
Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).
Jacques Noyé,
Luke Hornof,
1997
.
Charles Consel,
Gilles Muller,
Renaud Marlet,
1998,
CSUR.