# An Analysis of the Core-ml Language: Expressive Power and Type Reconstruction

• Gerd Hillebrandy, Harry Mairsonz
• Published 1994

#### Abstract

Core-ML is a basic subset of most functional programming languages. It consists of the simply typed (or monomorphic)-calculus, simply typed equality over atomic constants, and let as the only poly-morphic construct. We present a synthesis of recent results which characterize this \toy" language's expressive power as well as its type reconstruction (or type… (More)

#### Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.