TIL: A Type-Directed Optimizing Compiler for ML.

Abstract

We describe a new compiler for Standard ML called TIL, that is based on four technologies: intensional polymorphism, tag-free garbage collection, conventional functional language optimization and loop optimization. We use intensional polymorphism and tag-free garbage collection to provide specialized representations, even though SML is a polymorphic language. We use conventional functional language optimization to reduce the cost of intensional polymorphism, and loop optimization to generate good code for recursive functions. We present an example of TIL compiling an SML function to machine code, and compare the performance of TIL code against that of a widely used compiler, Standard ML of New Jersey.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 29, 1996
Accession Number
ADA306265

Entities

People

  • Chris Stone
  • David Tarditi
  • Greg Morrisett
  • Perry Cheng
  • Robert Harper

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Accumulators
  • Algorithms
  • Assembly
  • Assembly Languages
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Conversion
  • Elimination
  • Environment
  • Fluid Dynamics
  • Language
  • Recursive Functions
  • Standards
  • Two Dimensional

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Riverine Ecology