Publicacions en què col·labora amb Clara M. Segura Díaz (1)

2007

  1. A Sharing Analysis for SAFE

    TRENDS IN FUNCTIONAL PROGRAMMING, VOL 7