Gustavo Arroyo

From MaRDI portal
Person:3591074



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs
Logic-Based Program Synthesis and Transformation
2009-03-24Paper
Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
Logic-Based Program Synthesis and Transformation
2007-09-10Paper


Research outcomes over time


This page was built for person: Gustavo Arroyo