Many holes in hindley-milner

Abstract

We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more complex type systems. In order to support concatenation we use two type parameters to represent the number of holes in a context as the difference between two Peano numbers. In… (More)
DOI: 10.1145/1411304.1411313

Topics

Cite this paper

@inproceedings{Lindley2008ManyHI, title={Many holes in hindley-milner}, author={Sam Lindley}, booktitle={ML}, year={2008} }