Proceedings of the Seventh International Workshop on Logical Frameworks and Meta-Languages, Theory and Practice
0
0
Author Description
ICFP'12: ACM SIGPLAN International Conference on Functional Programming Sep 09, 2012-Sep 15, 2012 Copenhagen, Denmark. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Page Count:
44
Publication Date:
2012-09-09
Publisher:
Association for Computing Machinery
ISBN-10:
145031578X
ISBN-13:
9781450315784