Login / Signup
Andrew Bernard
Publication Activity (10 Years)
Years Active: 1998-2002
Publications (10 Years): 0
</>
Publications
</>
Andrew Bernard
,
Peter Lee
Temporal Logic for Proof-Carrying Code.
CADE
(2002)
Andrew Bernard
,
Robert Harper
,
Peter Lee
How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler.
Types in Compilation
(1998)