Phillip Heidegger, Peter Thiemann
A Heuristic Approach for Computing Effects
TOOLS, 2011.
@inproceedings{TOOLS-EUROPE-2011-HeideggerT, author = "Phillip Heidegger and Peter Thiemann", booktitle = "{Proceedings of the 49th International Conference on Technology of Object-Oriented Languages and Systems}", doi = "10.1007/978-3-642-21952-8_12", isbn = "978-3-642-21951-1", pages = "147--162", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Heuristic Approach for Computing Effects}", volume = 6705, year = 2011, }