Date of Original Version

1990

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

Abstract: "Several formulations of type assignment of the Damas-Milner language are studied, with a view toward their formalization in the logical framework LF, and the suitability of these encodings for direct execution by the logic programming language Elf."

Share

COinS