Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 3475 results
Sort by: relevance publication year

Interaction nets

PROCEEDINGS ARTICLE published 1990 in Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90

Authors: Yves Lafont

https://doi.org/10.1145/96709.96718 Actions

Polymorphic typed defunctionalization

PROCEEDINGS ARTICLE published January 2004 in Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: François Pottier | Nadji Gauthier

https://doi.org/10.1145/964001.964009 Actions

Type-indexed rows

PROCEEDINGS ARTICLE published January 2001 in Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Mark Shields | Erik Meijer

https://doi.org/10.1145/360204.360230 Actions

Session details: Separation logic

PROCEEDINGS ARTICLE published 11 January 2014 in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Authors: Andrew W. Appel

https://doi.org/10.1145/3250020 Actions

Session details: Automata

PROCEEDINGS ARTICLE published 26 January 2011 in Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Kathleen Fisher

https://doi.org/10.1145/3252997 Actions

Session details: Semantics

PROCEEDINGS ARTICLE published 23 January 2013 in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Xavier Leroy

https://doi.org/10.1145/3260313 Actions

Session details: Types

PROCEEDINGS ARTICLE published 23 January 2013 in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Benjamin Pierce

https://doi.org/10.1145/3260311 Actions

Session details: Medley

PROCEEDINGS ARTICLE published 17 January 2010 in Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Mooly Sagiv

https://doi.org/10.1145/3254182 Actions

Session details: Compilers

PROCEEDINGS ARTICLE published 17 January 2010 in Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Peter Sewell

https://doi.org/10.1145/3254180 Actions

Hybrid type checking

PROCEEDINGS ARTICLE published 11 January 2006 in Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Cormac Flanagan

https://doi.org/10.1145/1111037.1111059 Actions

Caml trading

PROCEEDINGS ARTICLE published 7 January 2008 in Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Yaron M. Minsky

https://doi.org/10.1145/1328438.1328441 Actions

Session details: 7.B: functional programming

PROCEEDINGS ARTICLE published 25 January 2012 in Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Dimitrios Vytiniotis

https://doi.org/10.1145/3256307 Actions

Session details: Program analysis 2

PROCEEDINGS ARTICLE published 11 January 2014 in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Authors: Thomas Wies

https://doi.org/10.1145/3250012 Actions

Resource bound certification

PROCEEDINGS ARTICLE published 5 January 2000 in Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Karl Crary | Stephnie Weirich

https://doi.org/10.1145/325694.325716 Actions

Environmental acquisition revisited

PROCEEDINGS ARTICLE published 12 January 2005 in Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Richard Cobbe | Matthias Felleisen

https://doi.org/10.1145/1040305.1040307 Actions

Environment classifiers

PROCEEDINGS ARTICLE published 15 January 2003 in Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Walid Taha | Michael Florentin Nielsen

https://doi.org/10.1145/604131.604134 Actions

Non-linear loop invariant generation using Gröbner bases

PROCEEDINGS ARTICLE published January 2004 in Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Sriram Sankaranarayanan | Henny B. Sipma | Zohar Manna

https://doi.org/10.1145/964001.964028 Actions

Session details: Medley

PROCEEDINGS ARTICLE published 26 January 2011 in Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Jan Vitek

https://doi.org/10.1145/3253004 Actions

Session details: Compilation

PROCEEDINGS ARTICLE published 23 January 2013 in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Manuel Fahndrich

https://doi.org/10.1145/3260321 Actions

Session details: Security

PROCEEDINGS ARTICLE published 23 January 2013 in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Kwang Yi

https://doi.org/10.1145/3260318 Actions
Feedback: support@crossref.org