Using dependent types to express modular structure

Publisher Website

1 January 1986

proceedings article
Published by Association for Computing Machinery (ACM)

p. 277-286
https://doi.org/10.1145/512644.512670

Abstract

No abstract available

Cited by 76 articles