Subtyping in Ponder
(preliminary report)

Valeria C.V. de Paiva
This note starts the formal study of the type system of the functional language Ponder. Some of the problems of proving soundness and completeness are discussed and some preliminary results, about fragments of the type system, shown. It consists of 6 sections. In section 1 we review briefly Ponder’s syntax and describe its typing system. In section 2 we consider a very restricted fragment of the language for which we can prove soundness of the...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.