Simon Winwood, Manuel M. T. Chakravarty. Singleton: a general-purpose dependently-typed assembly language. In Stephanie Weirich, Derek Dreyer, editors, Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Austin, TX, USA, January 25, 2011. pages 3-14, ACM, 2011. [doi]
Abstract is missing.