Researcher profile

Robert Harper

1 paper in the PaperMetrix corpus

Publications

Papers by this author

A Formulation of Dependent ML with Explicit Equality Proofs

2018 · KiltHub Repository

We study a calculus that supports dependent programming in the style of Xi and Pfenning’s Dependent ML. Xi and Pfenning’s language determines equality of static data using a built-in decision procedure; ours permits explicit, programmer-written …