MIL, a Monadic Intermediate Language for Implementing Functional Languages

Authors

Mark P. Jones, Portland State UniversityFollow
Justin BaileyFollow
Theodore R. Cooper, Portland State University

Published In

IFL 2018 Proceedings of the 30th Symposium on Implementation and Application of Functional Languages

Document Type

Citation

Publication Date

9-2018

Abstract

This paper describes MIL, a "monadic intermediate language" that is designed for use in optimizing compilers for strict, strongly typed functional languages. By using a notation that exposes the construction and use of closures and algebraic datatype values, for example, the MIL optimizer is able to detect and eliminate many unnecessary uses of these structures prior to code generation. One feature that distinguishes MIL from other intermediate languages in this area is the use of a typed, parameterized notion for basic blocks. This both enables new optimization techniques, such as the ability to create specialized versions of basic blocks, and leads to a new approach for implementing changes in data representation.

Description

Copyright © 2019 ACM, Inc.

Locate the Document

http://doi.org/10.1145/3310232.3310238

DOI

10.1145/3310232.3310238

Persistent Identifier

https://archives.pdx.edu/ds/psu/29636

Citation Details

Jones, M. P., Bailey, J., & Cooper, T. R. (2018, September). MIL, a Monadic Intermediate Language for Implementing Functional Languages. In Proceedings of the 30th Symposium on Implementation and Application of Functional Languages (pp. 71-82). ACM.