Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming

Ngā tūemi rite

• Proceedings of the 2013 ACM workshop on Security, privacy & dependability for cyber vehicles
• Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
• Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
• Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development
• Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development