Showing 1 - 4 results of 4 for search 'Elena Zucca', query time: 0.03s Refine Results
  1. 1
    A Syntactic Model of Mutation and Aliasing

    A Syntactic Model of Mutation and Aliasing by Paola Giannini, Marco Servetto, Elena Zucca

    Published 2019-04-01
    Get full text
    Article
  2. 2
    Reconciling positional and nominal binding

    Reconciling positional and nominal binding by Davide Ancona, Paola Giannini, Elena Zucca

    Published 2013-07-01
    Get full text
    Article
  3. 3
    Extending Coinductive Logic Programming with Co-Facts

    Extending Coinductive Logic Programming with Co-Facts by Davide Ancona, Francesco Dagnino, Elena Zucca

    Published 2017-09-01
    Get full text
    Article
  4. 4
    Intersection types for unbind and rebind

    Intersection types for unbind and rebind by Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca

    Published 2011-01-01
    Get full text
    Article

Search Tools: