A dependently typed assembly language

DOI10.1145/507635.507657zbMath1323.68084OpenAlexW2140566629MaRDI QIDQ5178007

Robert Harper, Hongwei Xi

Publication date: 9 March 2015

Published in: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/507635.507657

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (6)

TWAM: a certifying abstract machine for logic programs ⋮ ANF preserves dependent types up to extensional equality ⋮ More Typed Assembly Languages for Confidentiality ⋮ Safe functional systems through integrity types and verified assembly ⋮ Unnamed Item ⋮ Automated techniques for provably safe mobile code.

This page was built for publication: A dependently typed assembly language