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

  • Gerd Hillebrandy, Harry Mairsonz
  • Published 1994


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.

Slides referencing similar topics