Dependent types in practical programming. Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. https://doi.org/10.1145/292540.292560
Chicago Style (17th ed.) Citation"Dependent Types in Practical Programming." Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages . https://doi.org/10.1145/292540.292560.
MLA (9th ed.) Citation"Dependent Types in Practical Programming." Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, , https://doi.org/10.1145/292540.292560.
Warning: These citations may not always be 100% accurate.