Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping - researchr publication

researchr

You are not signed in
Sign in
Sign up

Alvaro Tasistro. Abstract Insertion Sort in an Extension of Type Theory with Record Types and Subtyping. In Eduardo Giménez, Christine Paulin-Mohring, editors, Types for Proofs and Programs, International Workshop TYPES 96, Aussois, France, December 15-19, 1996, Selected Papers. Volume 1512 of Lecture Notes in Computer Science, pages 354-372, Springer, 1996.

Abstract is missing.

runs on WebDSL