Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming
Publisher: Association for Computing Machinery
Published: 2013
Language: eng
ISBN-13: 9781450323840