A dependently typed assembly language
- 1 October 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (10) , 169-180
- https://doi.org/10.1145/507635.507657
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Dependent types in practical programmingPublished by Association for Computing Machinery (ACM) ,1999
- From ML to Ada: Strongly-typed language interoperability via source translationJournal of Functional Programming, 1998
- The design and implementation of a certifying compilerPublished by Association for Computing Machinery (ACM) ,1998
- Eliminating array bound checking through dependent typesPublished by Association for Computing Machinery (ACM) ,1998
- From system F to typed assembly languagePublished by Association for Computing Machinery (ACM) ,1998
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- TILPublished by Association for Computing Machinery (ACM) ,1996
- A simplified account of polymorphic referencesInformation Processing Letters, 1994
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967