%0 Thesis %1 phd/basesearch/Spoon05 %A Spoon, Steven Alexander %D 2005 %K dblp %T Demand-Driven Type Inference with Subgoal Pruning.

@phdthesis{phd/basesearch/Spoon05, added-at = {2022-05-04T00:00:00.000+0200}, author = {Spoon, Steven Alexander}, biburl = {https://www.bibsonomy.org/bibtex/21ac7b522ae7499091ed386b98a6553a3/dblp}, ee = {https://www.base-search.net/Record/731c7a5e14b16c829bb6400f467e7e4c7adf6dda8a9a7ae4430021fa4c4475ae}, interhash = {8f4b8978e60c466eb4e6b016bf3a3ef9}, intrahash = {1ac7b522ae7499091ed386b98a6553a3}, keywords = {dblp}, note = {base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/7486)}, school = {Georgia Institute of Technology, Atlanta, GA, USA}, timestamp = {2024-04-09T09:16:35.000+0200}, title = {Demand-Driven Type Inference with Subgoal Pruning.}, year = 2005 }