scientific article; zbMATH DE number 1301741

MaRDI QIDQ4246954zbMATH OpenFDO

Authors Álvaro Tasistro

Publication date 16 June 1999

zbMATH Keywords

abstract data typesalgorithms of sorting by insertionextension of Martin-Löf's type theory with dependent record types and subtyping

Mathematics Subject Classification ID

Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Searching and sorting (68P10) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1302055
• Types for Proofs and Programs
• Type checking dependent (record) types and subtyping
• scientific article; zbMATH DE number 1187955

Cited in

(2)

• Sorting Multidimensional Types: Theory and Application
• Types for Proofs and Programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246954)