dblp.uni-trier.dewww.uni-trier.de

Luke Hornof (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim: Compiling for template-based run-time code generation. J. Funct. Program. 13(3): 677-708 (2003)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuke Hornof, Trevor Jim: Certifying Compilation and Run-Time Code Generation. PEPM 1999: 60-74
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuke Hornof, Trevor Jim: Certifying Compilation and Run-Time Code Generation. Higher-Order and Symbolic Computation 12(4): 337-375 (1999)

Selection of 3 from 12 records - Luke Hornof has 16 coauthors

Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)