%0 Conference Paper %1 journals/entcs/Sheard07 %A Sheard, Tim %B PLPV@IJCAR %D 2006 %E Stump, Aaron %E Xi, Hongwei %I Elsevier %K dblp %N 7 %P 105-128 %T Type-level Computation Using Narrowing in Omegamega. %U http://dblp.uni-trier.de/db/conf/plpv/plpv2006.html#Sheard07 %V 174

@inproceedings{journals/entcs/Sheard07, added-at = {2023-01-27T00:00:00.000+0100}, author = {Sheard, Tim}, biburl = {https://www.bibsonomy.org/bibtex/2f589bb19e7eb6a45b4c87c0126355900/dblp}, booktitle = {PLPV@IJCAR}, crossref = {conf/plpv/2006}, editor = {Stump, Aaron and Xi, Hongwei}, ee = {https://doi.org/10.1016/j.entcs.2006.10.040}, interhash = {3e28b2a0e7e2533f9ad7d5c303db80c4}, intrahash = {f589bb19e7eb6a45b4c87c0126355900}, keywords = {dblp}, number = 7, pages = {105-128}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T14:55:43.000+0200}, title = {Type-level Computation Using Narrowing in Omegamega.}, url = {http://dblp.uni-trier.de/db/conf/plpv/plpv2006.html#Sheard07}, volume = 174, year = 2006 }