James Laird. Full Abstraction for Functional Languages with Control. In LICS. pages 58-67, 1997. [doi]
@inproceedings{Laird97, title = {Full Abstraction for Functional Languages with Control}, author = {James Laird}, year = {1997}, url = {http://www.computer.org/proceedings/lics/7925/79250058abs.htm}, tags = {abstraction}, researchr = {https://researchr.org/publication/Laird97}, cites = {0}, citedby = {0}, pages = {58-67}, booktitle = {LICS}, }