John M. Lucassen, David K. Gifford
Polymorphic Effect Systems
POPL, 1988.
@inproceedings{POPL-1988-LucassenG, author = "John M. Lucassen and David K. Gifford", booktitle = "{Conference Record of the 15th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/73560.73564", editor = "Jeanne Ferrante and P. Mager", isbn = "0-89791-252-7", pages = "47--57", publisher = "{ACM Press}", title = "{Polymorphic Effect Systems}", year = 1988, }