scientific article; zbMATH DE number 683355

MaRDI QIDQ4312475zbMATH OpenFDO

Authors Flemming M. Damm, Bo Stig Hansen

Publication date 29 November 1994

zbMATH Keywords

applicative language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2085176
• Proof-assistants using dependent type systems
• A note on typed truth and consistency assertions
• Automatically proving equivalence by type-safe reflection
• Extensional equality preservation and verified generic programming
• Program and proof optimizations with type systems
• scientific article; zbMATH DE number 65530
• scientific article; zbMATH DE number 1420787
• scientific article; zbMATH DE number 1301737

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 Q4312475)