Semantical Analysis of Higher-Order Syntax

Martin Hofmann

Publication date

January 1999

Publisher

IEEE Computer Society Press

Abstract

this paper to advocate the use of functor categories as a semantic foundation of higher-order abstract syntax (HOAS). By way of example, we will show how functor categories can be used for at least the following applications

Extracted data

We use cookies to provide a better user experience.

Data Protection

Semantical Analysis of Higher-Order Syntax

Abstract

Extracted data

Semantical Analysis of Higher-Order Syntax

Abstract

Extracted data

Related items

Related items