%0 Conference Paper %1 conf/fp/Davis92 %A Davis, Kei %B Functional Programming %D 1992 %E Launchbury, John %E Sansom, Patrick M. %I Springer %K dblp %P 43-56 %T Analysing Functions by Projection-Based Backward Abstraction. %U http://dblp.uni-trier.de/db/conf/fp/fp1992.html#Davis92 %@ 3-540-19820-2

@inproceedings{conf/fp/Davis92, added-at = {2019-06-21T00:00:00.000+0200}, author = {Davis, Kei}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/207551dc6a52a6e10bd15e20a211c6b1b/dblp}, booktitle = {Functional Programming}, crossref = {conf/fp/1992}, editor = {Launchbury, John and Sansom, Patrick M.}, ee = {https://doi.org/10.1007/978-1-4471-3215-8_4}, interhash = {c08d24c1f3c1590eca44c1c94fcde2b4}, intrahash = {07551dc6a52a6e10bd15e20a211c6b1b}, isbn = {3-540-19820-2}, keywords = {dblp}, pages = {43-56}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-09-27T16:04:53.000+0200}, title = {Analysing Functions by Projection-Based Backward Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/fp/fp1992.html#Davis92}, year = 1992 }