Types in programming languages and corresponding safety theorems

zbMATH Open1405.68032MaRDI QIDQ4615296FDOQ4615296

Authors: Filip Koprivec 

Publication date: 4 February 2019

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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)