White Papers

A Type-Theoretic Foundation for Programming With Higher-Order Abstract Syntax and First-Class Substitutions

Overview Higher-Order Abstract Syntax (HOAS) is a simple, powerful technique for implementing object languages, since it directly supports common and tricky routines dealing with variables, such as capture-avoiding substitution and renaming. This is achieved by representing binders in the object-language via binders in the meta-language. However, enriching functional programming languages with direct support for HOAS has been a major challenge, because recursion over HOAS encodings requires one to traverse - abstractions and necessitates programming with open objects. The paper presents a novel type-theoretic foundation based on contextual modal types which allows one to recursively analyze open terms via higher-order pattern matching. By design, variables occurring in open terms can never escape their scope.

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher: Association for Computing Machinery
File Format: PDF
Date Published: Jan 9, 2009
Format: White Papers
Topics: Programming Languages

Similiar White Papers

Build Strong, Flexible J2EE apps With a WebSphere Cluster Environment

When building a strong, extensible, and flexible J2EE application, one needs to consider several factors. One important

Publisher: IBM | Tags: application server, management, server

TechNet Webcast: Managing Hyper-V Virtual Machines With WMI and Windows PowerShell (Level 300)

Before the beta release of Microsoft System Center Virtual Machine Manager 2008, there was only one option for automatin

Publisher: Microsoft | Tags: beta, management, windows server, windows server 2008

Building a Hybrid Data Warehouse Model

This paper discusses the hybrid design and provides a fully functional reference implementation. The system runs on Orac

Publisher: Oracle | Tags: data, database, warehouse

Taking Advantage of Microsoft Enterprise Library 4.0 for Visual Studio 2008

Microsoft Enterprise Library is a collection of reusable software components (application blocks) designed to assist sof

Publisher: Microsoft | Tags: developers, software

Why and How to Build a Continuous Integration Environment for the .NET Platform

This paper is a learning tool and also a detailed manual to reference for executives, managers and developers on 'Why an

Publisher: Enterprise Solution Providers | Tags: developers

Association for Computing Machinery White Papers

Featured white papers

The Value of Location Intelligence in the Communications Industry

Pitney Bowes

Public Services are under pressure, the challenge is to do more with less. How do you improve citizen satisfaction, increase cost efficiencies and improve service delivery? The power of location intelligence is helping many local authorities...

Download now »
Best Practices for Translating Customer Satisfaction into Revenue

Citrix Online

Today's support organisations are focused on two top-level metrics: financial results and customer satisfaction. For most, it's easy to track financial performance, but customer satisfaction is akin to speaking a foreign language...

Download now »
HP print solutions and 3M

Hewlett-Packard (HP)

The objective for 3M was to optimize office printing infrastructure at 3M locations worldwide, reduce total cost and environmental footprint. Some of the business benefits acheived by switching to HP print solutions...

Download now »