A multi-stage language with intensional analysis

Authors:
Marcos Viera;Alberto Pardo
Affiliations:
Universidad de la República, Montevideo, Uruguay;Universidad de la República, Montevideo, Uruguay
Venue:
Proceedings of the 5th international conference on Generative programming and component engineering
Year:
2006

Citing 17
Cited 0

Lambda calculi with types

Handbook of logic in computer science (vol. 2)
Dynamic typing as staged type inference

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
MetaML and multi-stage programming with explicit annotations

Theoretical Computer Science - Partial evaluation and semantics-based program manipulation
Typing dynamic typing

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Meta-programming with names and necessity

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Template meta-programming for Haskell

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
A lightweight implementation of generics and dynamics

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Environment classifiers

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reification: Reflection without metaphysics

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Multistage programming: its theory and applications

Multistage programming: its theory and applications
Semantics of the reFLect language

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Functional programming with names and necessity

Functional programming with names and necessity
The role of type equality in meta-programming

The role of type equality in meta-programming
Putting curry-howard to work

Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Staged computation with names and necessity

Journal of Functional Programming
Accomplishments and research challenges in meta-programming

SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the definition of a language with reflection primitives. The language is a homogeneous multi-stage language that provides the capacity of code analysis by the inclusion of a pattern matching mechanism that permits inspection of the structure of quoted expressions and their destruction into component subparts. Quoted expressions include an explicit annotation of their context which is used for dynamic inference of type, where a dynamic typing discipline based on Hinze and Cheney's approach is used for typing quoted expressions.This paper follows the approach of Sheard and Pasalic about the use of the meta-language Ωmega as a tool for language design. In this sense, it is shown how to represent the syntax, the static as well as the dynamic semantics of the proposed language in terms of Ωmega constructs.