Types in programming languages and corresponding safety theorems

MaRDI QIDQ4615296zbMATH OpenFDO

Authors Filip Koprivec

Publication date 4 February 2019

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Type system in programming languages
• Dependent types ensure partial correctness of theorem provers
• Safety analysis versus type inference for partial types
• scientific article; zbMATH DE number 709368
• Types and programing languages

Cited in

(2)

• Type system in programming languages
• Dependent types ensure partial correctness of theorem provers

This page was built for publication: Types in programming languages and corresponding safety theorems

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