Dependent types in practical programming
Saved in:
Published in | Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages |
---|---|
Format | Conference Proceeding |
Language | English |
Online Access | Get full text |
DOI | 10.1145/292540.292560 |
Cover
DOI: | 10.1145/292540.292560 |
---|