@article{CARETTE_2009,
    doi = {10.1017/s0956796809007205},
    url = {https://doi.org/10.1017%2Fs0956796809007205},
    year = {2009},
    month = {apr},
    publisher = {Cambridge University Press ({CUP})},
    volume = {19},
    number = {5},
    pages = {509--543},
    author = {JACQUES CARETTE and OLEG KISELYOV and CHUNG-CHIEH SHAN},
    title = {Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages},
    journal = {Journal of Functional Programming}
}

@article{CARETTE_2009, doi = {10.1017/s0956796809007205}, url = {https://doi.org/10.1017%2Fs0956796809007205}, year = {2009}, month = {apr}, publisher = {Cambridge University Press ({CUP})}, volume = {19}, number = {5}, pages = {509--543}, author = {JACQUES CARETTE and OLEG KISELYOV and CHUNG-CHIEH SHAN}, title = {Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages}, journal = {Journal of Functional Programming} }