@inproceedings{Jeffrey_2012,
    doi = {10.1145/2103776.2103783},
    url = {https://doi.org/10.1145%2F2103776.2103783},
    year = {2012},
    month = {jan},
    publisher = {{ACM}},
    author = {Alan Jeffrey},
    title = {{LTL} types {FRP}},
    booktitle = {Proceedings of the sixth workshop on Programming languages meets program verification}
}

@inproceedings{Jeffrey_2012, doi = {10.1145/2103776.2103783}, url = {https://doi.org/10.1145%2F2103776.2103783}, year = {2012}, month = {jan}, publisher = {{ACM}}, author = {Alan Jeffrey}, title = {{LTL} types {FRP}}, booktitle = {Proceedings of the sixth workshop on Programming languages meets program verification} }