Search Results - PIERCE, BENJAMIN C.

Refine Results
  1. 1
    A bisimulation for type abstraction and recursion

    A bisimulation for type abstraction and recursion by SUMII, Eijiro, PIERCE, Benjamin C

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    On being a PhD student of Robert Harper

    On being a PhD student of Robert Harper by DREYER, DEREK, PIERCE, BENJAMIN C.

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Regular expression types for XML

    Regular expression types for XML by HOSOYA, Haruo, VOUILLON, Jérome, PIERCE, Benjamin C

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Local type inference

    Local type inference by Pierce, Benjamin C., Turner, David N.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Position paper: the science of deep specification

    Position paper: the science of deep specification by Appel, Andrew W., Beringer, Lennart, Chlipala, Adam, Pierce, Benjamin C., Shao, Zhong, Weirich, Stephanie, Zdancewic, Steve

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

    Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem by Foster, J. Nathan, Greenwald, Michael B., Moore, Jonathan T., Pierce, Benjamin C., Schmitt, Alan

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    Property-Based Testing in Practice

    Property-Based Testing in Practice by Goldstein, Harrison, Cutler, Joseph W., Dickstein, Daniel, Pierce, Benjamin C., Head, Andrew

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Linearity and the pi-calculus

    Linearity and the pi-calculus by Kobayashi, Naoki, Pierce, Benjamin C., Turner, David N.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Formalizing Stack Safety as a Security Property

    Formalizing Stack Safety as a Security Property by Anderson, Sean Noble, Blanco, Roberto, Lampropoulos, Leonidas, Pierce, Benjamin C., Tolmach, Andrew

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    A framework for adaptive differential privacy

    A framework for adaptive differential privacy by Winograd-Cort, Daniel, Haeberlen, Andreas, Roth, Aaron, Pierce, Benjamin C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Behavioral equivalence in the polymorphic pi-calculus

    Behavioral equivalence in the polymorphic pi-calculus by Pierce, Benjamin C, Sangiorgi, Davide

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Synthesizing symmetric lenses

    Synthesizing symmetric lenses by Miltner, Anders, Maina, Solomon, Fisher, Kathleen, Pierce, Benjamin C., Walker, David, Zdancewic, Steve

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Synthesizing bijective lenses

    Synthesizing bijective lenses by Miltner, Anders, Fisher, Kathleen, Pierce, Benjamin C., Walker, David, Zdancewic, Steve

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    A bisimulation for dynamic sealing

    A bisimulation for dynamic sealing by Sumii, Eijiro, Pierce, Benjamin C.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    Synthesizing quotient lenses

    Synthesizing quotient lenses by Maina, Solomon, Miltner, Anders, Fisher, Kathleen, Pierce, Benjamin C., Walker, David, Zdancewic, Steve

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  16. 16
    Contracts made manifest

    Contracts made manifest by GREENBERG, MICHAEL, PIERCE, BENJAMIN C., WEIRICH, STEPHANIE

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  17. 17
    Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

    Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation by Juglaret, Yannis, Hritcu, Catalin, De Amorim, Arthur Azevedo, Eng, Boris, Pierce, Benjamin C.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Testing noninterference, quickly

    Testing noninterference, quickly by HRIŢCU, CĂTĂLIN, LAMPROPOULOS, LEONIDAS, SPECTOR-ZABUSKY, ANTAL, AZEVEDO DE AMORIM, ARTHUR, DÉNÈS, MAXIME, HUGHES, JOHN, PIERCE, BENJAMIN C., VYTINIOTIS, DIMITRIOS

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Micro-Policies: Formally Verified, Tag-Based Security Monitors

    Micro-Policies: Formally Verified, Tag-Based Security Monitors by de Amorim, Arthur Azevedo, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Special Issue Dedicated to ICFP 2011 Editorial

    Special Issue Dedicated to ICFP 2011 Editorial by ASAI, KENICHI, PIERCE, BENJAMIN C.

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: