%0 Conference Paper %1 barthegp05 %A Barthe, Gilles %A Grégoire, Benjamin %A Pastawski, Fernando %B TLCA %D 2005 %K imported %P 71-85 %T Practical Inference for Type-Based Termination in a Polymorphic Setting.

@inproceedings{barthegp05, added-at = {2010-08-25T08:47:38.000+0200}, author = {Barthe, Gilles and Gr{\'{e}}goire, Benjamin and Pastawski, Fernando}, bibsource = {{DBLP, http://dblp.uni-trier.de}}, biburl = {https://www.bibsonomy.org/bibtex/2066d14a77e0af2aead36675e39e72259/miguel.pagano}, booktitle = {{TLCA}}, ee = {{http://springerlink.metapress.com/openurl.asp?genre=article\&issn=0302-9743\&volume=3461\&spage=71}}, interhash = {53cad03f48f2b6ae3a67474f6e6d65ee}, intrahash = {066d14a77e0af2aead36675e39e72259}, keywords = {imported}, pages = {71-85}, timestamp = {2010-08-25T08:47:39.000+0200}, title = {{Practical Inference for Type-Based Termination in a Polymorphic Setting.}}, year = {{2005}} }