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:

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE