Accession Number : ADA309502

Title :   A Type-Theoretic Account of Standard ML 1996 (Version 1).

Descriptive Note : Research rept.,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Stone, Chris ; Harper, Robert

PDF Url : ADA309502

Report Date : 10 MAY 1996

Pagination or Media Count : 88

Abstract : A type-theoretic definition of a variant of the Standard ML (Revised 1996) programming language is given. The definition consists of a syntax-directed translation of SML96 programs into a typed intermediate language. The intermediate language is an explicitly-typed lambda-calculus with product, sum, recursive, and module types. The translation performs type reconstruction, handles identifier scope resolution, enforces static well-formedness conditions, and expands high-level constructs (such as pattern matching and signature matching) into uses of the more rudimentary mechanisms of the intermediate language. This document presents work in progress and is being distributed for the purpose of obtaining feedback. As such, the translation does not completely match the definition of SML96, which is itself still undergoing change.

Descriptors :   *HIGH LEVEL LANGUAGES, DATA MANAGEMENT, DISTRIBUTED DATA PROCESSING, SEMANTICS, RULE BASED SYSTEMS, PATTERN RECOGNITION, DYNAMIC PROGRAMMING, COMPILERS, LANGUAGE TRANSLATION, SYNTAX, FIELDS(COMPUTER PROGRAMS), STRUCTURED PROGRAMMING.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE