ACM transactions on programming languages and systems

• 

  Año 2004, Vol. 26, Número 4

  • First-Class Monadic Schedules

    Paul Hudak, Rajiv Mirani

    págs. 609-651

    

  • Polymorphic Specialization For ML

    Simon Helsen, Peter Thiemann

    págs. 652-701

    

  • Symmetry and Reduced Symmetry in Model Checking

    A. Prasad Sistla, Patrice Godefroid

    págs. 702-734

    

  • Optimistic Register Coalescing

    Jinpyo Park, Soo-Mook Moon

    págs. 735-765