DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
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
Report Date:
1998-03-31
Pagination or Media Count:
73.0
Distribution Statement:
APPROVED FOR PUBLIC RELEASE