Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation
Author: Benjamin C. Pierce
Publisher:
Total Pages: 104
Release: 2012-01-22
Genre: Compiling (Electronic computers)
ISBN: 9781450311205

POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Jan 22, 2012-Jan 28, 2012 Philadelphia, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.

Popl 11 Proceedings of the 38th Annual ACM Sigplan-Sigact Symposium on Principles of Programming Languages

Popl 11 Proceedings of the 38th Annual ACM Sigplan-Sigact Symposium on Principles of Programming Languages
Author: Popl 11 Conference Committee
Publisher:
Total Pages: 654
Release: 2011-10-01
Genre: Computers
ISBN: 9781450304900

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.

POPL 12 Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

POPL 12 Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Author: Popl 12 Conference Committee
Publisher:
Total Pages: 604
Release: 2012-01-22
Genre: Computers
ISBN: 9781450310833

POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Jan 22, 2012-Jan 28, 2012 Philadelphia, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.