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

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.

This author has not been identified. Look up 'Alvaro Tasistro' in Google

runs on WebDSL