Accession Number:

ADA343374

Title:

Collection of Papers: Bridging the Gulf: A Common Intermediate Language for ML and Haskell; From Interpreter to Compiler Using Staging and Monads; Multi-State Programming: Axiomatization and Type Safety; The Anatomy of a Component Generator; Optimizing ML Using a Hierarchy of Monadic Types

Descriptive Note:

Technical rept. 1 Jan-31 Mar 98

Corporate Author:

OREGON GRADUATE INST OF SCIENCE AND TECHNOLOGY PORTLAND PACIFIC SOFTWARE RESEARCH CENTER

Personal Author(s):

Report Date:

1998-03-31

Pagination or Media Count:

73.0

Abstract:

Descriptors:

• *COMPILERS
• *HIGH LEVEL LANGUAGES
• *MULTIPROGRAMMING
• ALGORITHMS
• SOFTWARE ENGINEERING
• SEMANTICS
• COMPUTER PROGRAM VERIFICATION
• EXECUTIVE ROUTINES
• CONTROL SEQUENCES
• STRUCTURED PROGRAMMING

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE