%0 Conference Paper %1 10.1145/3331542.3342571 %A Harrison, Joseph %B Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang %C New York, NY, USA %D 2019 %I Association for Computing Machinery %K Erlang checking-inference runtime-subtyping type-verification, %P 36–47 %R 10.1145/3331542.3342571 %T Runtime Type Safety for Erlang/Otp Behaviours %U https://doi.org/10.1145/3331542.3342571 %@ 9781450368100

@inproceedings{10.1145/3331542.3342571, added-at = {2020-05-14T07:17:49.000+0200}, address = {New York, NY, USA}, author = {Harrison, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/25a4e7dc0e6eae488aaf8e2869bd01b8e/rhumbertgz}, booktitle = {Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang}, doi = {10.1145/3331542.3342571}, interhash = {c32c8013b94ba41da8a2ef16754c2dec}, intrahash = {5a4e7dc0e6eae488aaf8e2869bd01b8e}, isbn = {9781450368100}, keywords = {Erlang checking-inference runtime-subtyping type-verification,}, location = {Berlin, Germany}, numpages = {12}, pages = {36–47}, publisher = {Association for Computing Machinery}, series = {Erlang 2019}, timestamp = {2020-05-14T07:17:49.000+0200}, title = {Runtime Type Safety for Erlang/Otp Behaviours}, url = {https://doi.org/10.1145/3331542.3342571}, year = 2019 }