ACM transactions on programming languages and systems

• 

  Año 2017, Vol. 39, Número 1. Texto Completo Ejemplar

  • Limitations of Partial Compaction: Towards Practical Bounds

    Nachshon Cohen, Erez Petrank

    • Resumen
    • Texto completo
    

  • Polymorphic Manifest Contracts, Revised and Resolved

    Taro Sekiyama, Atsushi Igarashi, Michael Greenberg

    • Resumen
    • Texto completo
    

  • On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types

    Jay Ligatti, Jeremy Blackburn, Michael Nachtigal

    • Resumen
    • Texto completo
    

  • SPL: An Extensible Language for Distributed Stream Processing

    Martin Hirzel, Scott Schneider, Buğra Gedik

    • Resumen
    • Texto completo