- ECU Libraries Catalog

Start Over

You searched for: author_facet ACM Symposium on Principles of Programming Languages

Showing 1 - 10 of 20 results

Search Results

Cover image for POPL '17

POPL '17

by Castagna, Giuseppe
2017
Format: Electronic

Location
Access Content Online

Cover image for POPL '16

POPL '16

by Bodik, Rastislav
2016
Format: Electronic

Location
Access Content Online

Cover image for PEPM '13

PEPM '13

by Languages, ACM Special Interest Group on Programming
2013
Format: Electronic

Location
Access Content Online

Cover image for PLPV '11

PLPV '11

by Jhala, Ranjit
2011
Format: Electronic

Location
Access Content Online

Cover image for PLPV '09

PLPV '09

by PLPV '09
2009
Format: Electronic

Location
Access Content Online

Cover image for Conference record of POPL 2007

Conference record of POPL 2007

by Languages, ACM Special Interest Group on Programming
2007
Format: Electronic

Location
Access Content Online

Cover image for Conference record of POPL 2006

Conference record of POPL 2006

2006
Format: Electronic

Location
Access Content Online

Cover image for Conference record of POPL 2005

Conference record of POPL 2005

by ACM Symposium on Principles of Programming Languages
2005
Format: Electronic

Location
Access Content Online

Cover image for Verification, model checking, and abstract interpretation

Verification, model checking, and abstract interpretation

by VMCAI 2004
2004
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

by Jones, Neil D.
2004
Format: Electronic

Location
Access Content Online