Last update: Sun Oct 15 02:16:54 MDT 2017
@Article{Clerici:2013:GIT, author = "Silvia Clerici and Cristina Zoltan", title = "Graphical and incremental type inference. {A} graph transformation approach", journal = j-HIGHER-ORDER-SYMB-COMPUT, volume = "26", number = "1--4", pages = "29--62", month = dec, year = "2013", CODEN = "LSCOEX", DOI = "https://doi.org/10.1007/s10990-014-9104-8", ISSN = "1388-3690 (print), 1573-0557 (electronic)", bibdate = "Thu Dec 8 13:59:27 MST 2016", bibsource = "http://link.springer.com/journal/10990/26/1; http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib", URL = "http://link.springer.com/accesspage/article/10.1007/s10990-014-9104-8; http://link.springer.com/article/10.1007/s10990-014-9104-8", acknowledgement = ack-nhfb, fjournal = "Higher-Order and Symbolic Computation", journal-URL = "http://link.springer.com/journal/10990", }