@article{PIENTKA_2012,
    doi = {10.1017/s0956796812000408},
    url = {https://doi.org/10.1017%2Fs0956796812000408},
    year = {2012},
    month = {nov},
    publisher = {Cambridge University Press ({CUP})},
    volume = {23},
    number = {1},
    pages = {1--37},
    author = {BRIGITTE PIENTKA},
    title = {An insider{\textquotesingle}s look at {LF} type reconstruction: everything you (n)ever wanted to know},
    journal = {Journal of Functional Programming}
}

@article{PIENTKA_2012, doi = {10.1017/s0956796812000408}, url = {https://doi.org/10.1017%2Fs0956796812000408}, year = {2012}, month = {nov}, publisher = {Cambridge University Press ({CUP})}, volume = {23}, number = {1}, pages = {1--37}, author = {BRIGITTE PIENTKA}, title = {An insider{\textquotesingle}s look at {LF} type reconstruction: everything you (n)ever wanted to know}, journal = {Journal of Functional Programming} }