C. Flanagan. POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 245--256. New York, NY, USA, ACM Press, (2006)
DOI: http://doi.acm.org/10.1145/1111037.1111059
%0 Conference Paper
%1 flanagan06hybrid
%A Flanagan, Cormac
%B POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
%C New York, NY, USA
%D 2006
%I ACM Press
%K typing
%P 245--256
%R http://doi.acm.org/10.1145/1111037.1111059
%T Hybrid type checking
%@ 1-59593-027-2
@inproceedings{flanagan06hybrid,
added-at = {2011-12-16T09:34:58.000+0100},
address = {New York, NY, USA},
author = {Flanagan, Cormac},
biburl = {https://www.bibsonomy.org/bibtex/20a001d46eacba6149825e6234ecd9ef6/pbrada},
booktitle = {POPL '06: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
doi = {http://doi.acm.org/10.1145/1111037.1111059},
groups = {public},
interhash = {77081a75bf7982558784b745d5abbdda},
intrahash = {0a001d46eacba6149825e6234ecd9ef6},
isbn = {1-59593-027-2},
keywords = {typing},
location = {Charleston, South Carolina, USA},
pages = {245--256},
publisher = {ACM Press},
timestamp = {2011-12-16T09:34:58.000+0100},
title = {Hybrid type checking},
username = {pbrada},
year = 2006
}