Bernard van Gastel, Rody Kersten, Marko C. J. D. van Eekelen. Using Dependent Types to Define Energy Augmented Semantics of Programs. In Marko C. J. D. van Eekelen, Ugo Dal Lago, editors, Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers. Volume 9964 of Lecture Notes in Computer Science, pages 20-39, 2015. [doi]
@inproceedings{GastelKE15,
title = {Using Dependent Types to Define Energy Augmented Semantics of Programs},
author = {Bernard van Gastel and Rody Kersten and Marko C. J. D. van Eekelen},
year = {2015},
doi = {10.1007/978-3-319-46559-3_2},
url = {http://dx.doi.org/10.1007/978-3-319-46559-3_2},
researchr = {https://researchr.org/publication/GastelKE15},
cites = {0},
citedby = {0},
pages = {20-39},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015, Revised Selected Papers},
editor = {Marko C. J. D. van Eekelen and Ugo Dal Lago},
volume = {9964},
series = {Lecture Notes in Computer Science},
isbn = {978-3-319-46558-6},
}