Publications by <!-- THEME DEBUG --> <!-- THEME HOOK: 'views_view_field' --> <!-- 💡 BEGIN CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' --> Frank Pfenning <!-- END CUSTOM TEMPLATE OUTPUT from 'themes/custom/csd/templates/views/views-view-field.html.twig' -->

Conference

On the logical foundations of staged computation

2000 • Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation • 33
Pfenning F

Conference

Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Pratice of Declarative Programming: Preface

2000 • Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
Gabbrielli M, Pfenning F
Displaying 151 - 175 of 261