Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

AnconaEtAl13 (In proceedings)
Author(s) Davide Ancona, Paola Giannini and Elena Zucca
Title« Reconciling positional and nominal binding »
InProceedings Sixth Workshop on Intersection Types and Related Systems, Dubrovnik, Croatia, 29th June 2012
SeriesElectronic Proceedings in Theoretical Computer Science
Editor(s) Stéphane Graham-Lengrand and Luca Paolini
Volume121
Page(s)81-93
Year2013
PublisherOpen Publishing Association

BibTeX code

@inproceedings{AnconaEtAl13,
  volume = {121},
  author = {Ancona, Davide and Giannini, Paola and Zucca, Elena },
  series = {Electronic Proceedings in Theoretical Computer Science},
  booktitle = {{\rm Proceedings Sixth Workshop on} Intersection Types and
               Related Systems, {\rm Dubrovnik, Croatia, 29th June 2012}},
  editor = {Graham-Lengrand, St\'ephane and Paolini, Luca},
  title = {Reconciling positional and nominal binding},
  publisher = {Open Publishing Association},
  doi = {10.4204/EPTCS.121.6},
  year = {2013},
  pages = {81-93},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!