@inproceedings{Mainland_2012,
    doi = {10.1145/2364527.2364572},
    url = {https://doi.org/10.1145%2F2364527.2364572},
    year = {2012},
    month = {sep},
    publisher = {{ACM}},
    author = {Geoffrey Mainland},
    title = {Explicitly heterogeneous metaprogramming with {MetaHaskell}},
    booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} international conference on Functional programming}
}

@inproceedings{Mainland_2012, doi = {10.1145/2364527.2364572}, url = {https://doi.org/10.1145%2F2364527.2364572}, year = {2012}, month = {sep}, publisher = {{ACM}}, author = {Geoffrey Mainland}, title = {Explicitly heterogeneous metaprogramming with {MetaHaskell}}, booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} international conference on Functional programming} }