%0 Journal Article %1 journals/tcs/CoppoDG02 %A Coppo, Mario %A Damiani, Ferruccio %A Giannini, Paola %D 2002 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 69-112 %T Strictness, totality, and non-standard-type inference. %U http://dblp.uni-trier.de/db/journals/tcs/tcs272.html#CoppoDG02 %V 272

@article{journals/tcs/CoppoDG02, added-at = {2021-02-17T00:00:00.000+0100}, author = {Coppo, Mario and Damiani, Ferruccio and Giannini, Paola}, biburl = {https://www.bibsonomy.org/bibtex/2803b846d4ee67a889db18a204e64e1e3/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00348-0}, interhash = {8a2069e4f925b3e55eb10676e7b6e983}, intrahash = {803b846d4ee67a889db18a204e64e1e3}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {69-112}, timestamp = {2024-04-08T18:36:08.000+0200}, title = {Strictness, totality, and non-standard-type inference.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs272.html#CoppoDG02}, volume = 272, year = 2002 }