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 

BBS15 (In proceedings)
Author(s) Marcin Benke, Viviana Bono and Aleksy Schubert
Title« Lucretia - intersection type polymorphism for scripting languages »
InProceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014.
Page(s)65--78
Year2015
URLhttp://dx.doi.org/10.4204/EPTCS.177.6

BibTeX code

@inproceedings{BBS15,
  booktitle = {Proceedings Seventh Workshop on Intersection Types and Related
               Systems, {ITRS} 2014, Vienna, Austria, 18 July 2014.},
  url = {http://dx.doi.org/10.4204/EPTCS.177.6},
  title = {Lucretia - intersection type polymorphism for scripting languages},
  author = {Marcin Benke and Viviana Bono and Aleksy Schubert},
  doi = {10.4204/EPTCS.177.6},
  year = {2015},
  pages = {65--78},
}


 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!