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

Representing layered monads

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

Authors: Andrzej Filinski

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

Efficient computation of expressions with common subexpressions

PROCEEDINGS ARTICLE published 1978 in Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '78

Authors: Bhaskaram Prabhala | Ravi Sethi

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

Formal certification of code-based cryptographic proofs

PROCEEDINGS ARTICLE published 21 January 2009 in Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Gilles Barthe | Benjamin Grégoire | Santiago Zanella Béguelin

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

Programming language semantics and closed applicative languages

PROCEEDINGS ARTICLE published 1973 in Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73

Authors: John Backus

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

The principles and practice of probabilistic programming

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

Authors: Noah D. Goodman

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

Precise typing of abstract data type specifications

PROCEEDINGS ARTICLE published 1983 in Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83

Authors: Richard B. Kieburtz

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

Inductive definitions, semantics and abstract interpretations

PROCEEDINGS ARTICLE published 1992 in Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92

Authors: Patrick Cousot | Radhia Cousot

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

An abstract interpretation-based framework for software watermarking

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

Authors: Patrick Cousot | Radhia Cousot

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

Linear continuations

PROCEEDINGS ARTICLE published 1992 in Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92

Authors: Andrzej Filinski

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

Session details: Algebra

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

Authors: Jeff Foster

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

Session details: Compilation

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

Authors: Dan Grossman

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

Session details: Concurrency

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

Authors: Peter Sewell

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

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

Efficient algorithms for isomorphisms of simple types

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

Authors: Yoav Zibin | Joseph (Yossi) Gil | Jeffrey Considine

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

Session details: Verified systems

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

Authors: Aaron Turon

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

Session details: Verification

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

Authors: Sumit Gulwani

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

Session details: Verification

PROCEEDINGS ARTICLE published 21 January 2009 in Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Authors: Andrew Appel

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

Fresh-register automata

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

Authors: Nikos Tzevelekos

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

Universal properties of impure programming languages

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

Authors: Sam Staton | Paul Blain Levy

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

Monads in action

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

Authors: Andrzej Filinski

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