Language-Based Techniques for Integrating with the External World
University of Oregon