| 2003 |
|---|
| 4 | EE | Adam Granicz,
Jason Hickey:
Phobos: A Front-End Approach to Extensible Compilers.
HICSS 2003: 324 |
| 3 | EE | Jason Hickey,
Aleksey Nogin,
Adam Granicz:
Compiler implementation in a formal logical framework.
MERLIN 2003 |
| 2 | EE | Adam Granicz,
Daniel M. Zimmerman,
Jason Hickey:
Rewriting UNITY.
RTA 2003: 138-147 |
| 1 | EE | Jason Hickey,
Aleksey Nogin,
Robert L. Constable,
Brian E. Aydemir,
Eli Barzilay,
Yegor Bryukhov,
Richard Eaton,
Adam Granicz,
Alexei Kopylov,
Christoph Kreitz,
Vladimir Krupski,
Lori Lorigo,
Stephan Schmitt,
Carl Witty,
Xin Yu:
MetaPRL - A Modular Logical Environment.
TPHOLs 2003: 287-303 |
