@incollection{Mycroft_1984,
    doi = {10.1007/3-540-12925-1_41},
    url = {https://doi.org/10.1007%2F3-540-12925-1_41},
    year = {1984},
    publisher = {Springer Berlin Heidelberg},
    pages = {217--228},
    author = {Alan Mycroft},
    title = {Polymorphic type schemes and recursive definitions},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Mycroft_1984, doi = {10.1007/3-540-12925-1_41}, url = {https://doi.org/10.1007%2F3-540-12925-1_41}, year = {1984}, publisher = {Springer Berlin Heidelberg}, pages = {217--228}, author = {Alan Mycroft}, title = {Polymorphic type schemes and recursive definitions}, booktitle = {Lecture Notes in Computer Science} }