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)

Topics

Figures and Tables

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

Slides referencing similar topics