Marko C. J. D. van Eekelen, Maarten de Mol. Proof Tool Support for Explicit Strictness. In Andrew Butterfield, Clemens Grelck, Frank Huch, editors, Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Volume 4015 of Lecture Notes in Computer Science, pages 37-54, Springer, 2005. [doi]
@inproceedings{EekelenM05,
title = {Proof Tool Support for Explicit Strictness},
author = {Marko C. J. D. van Eekelen and Maarten de Mol},
year = {2005},
doi = {10.1007/11964681_3},
url = {http://dx.doi.org/10.1007/11964681_3},
tags = {C++},
researchr = {https://researchr.org/publication/EekelenM05},
cites = {0},
citedby = {0},
pages = {37-54},
booktitle = {Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers},
editor = {Andrew Butterfield and Clemens Grelck and Frank Huch},
volume = {4015},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-69174-X},
}