Davide Ancona

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Paola Giannini

> Home > Persons > Davide Ancona

Publications

2017
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AnconaGZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AnconaGZ17
Davide Ancona, Paola Giannini, Elena Zucca:
Type safe incremental rebinding. Math. Struct. Comput. Sci. 27(2): 94-122 (2017)
2015
[c71]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/types/AnconaGZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/types/AnconaGZ15
Davide Ancona, Paola Giannini, Elena Zucca:
Constrained Polymorphic Types for a Calculus with Name Variables. TYPES 2015: 4:1-4:29
[c69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AnconaGZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AnconaGZ16
Davide Ancona, Paola Giannini, Elena Zucca:
Incremental Rebinding with Name Polymorphism. ICTCS 2015: 19-34
2012
[c52]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AnconaGZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AnconaGZ13
Davide Ancona, Paola Giannini, Elena Zucca:
Reconciling positional and nominal binding. ITRS 2012: 81-93
2007
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/AnconaADDGZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/AnconaADDGZ07
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A provenly correct translation of Fickle into Java. ACM Trans. Program. Lang. Syst. 29(2): 13 (2007)
2001
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ictcs/AnconaADDGZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/AnconaADDGZ01
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
An Effective Translation of Fickle into Java. ICTCS 2001: 215-234
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AnconaADDGZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AnconaADDGZ01
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca:
A type preserving translation of Fickle into Java. TOSCA 2001: 69-82

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.