Treffer: A Foundation for Embedded Languages.
Title:
A Foundation for Embedded Languages.
Authors:
Source:
ACM Transactions on Programming Languages & Systems. May2003, Vol. 25 Issue 3, p291. 25p. 2 Diagrams.
Subject Terms:
Database:
Business Source Premier
Weitere Informationen
Investigates the conditions under which simple-typed terms can be represented in Haskell using phantom types. Implementation of an embedding of terms and types of the simply types γ-calculus into Haskell; Presentation of semantics of an idealized Haskell-like meta-language; Analysis of the use of Haskell as a meta-language.