%0 Journal Article %1 journals/tcs/ChristensenMNRS21 %A Christensen, Michael %A McMahan, Joseph %A Nichols, Lawton %A Roesch, Jared %A Sherwood, Timothy %A Hardekopf, Ben %D 2021 %J Theor. Comput. Sci. %K dblp %P 39-61 %T Safe functional systems through integrity types and verified assembly. %U http://dblp.uni-trier.de/db/journals/tcs/tcs851.html#ChristensenMNRS21 %V 851

@article{journals/tcs/ChristensenMNRS21, added-at = {2021-10-14T00:00:00.000+0200}, author = {Christensen, Michael and McMahan, Joseph and Nichols, Lawton and Roesch, Jared and Sherwood, Timothy and Hardekopf, Ben}, biburl = {https://www.bibsonomy.org/bibtex/245978efd2632a078654b1b552cea413c/dblp}, ee = {https://doi.org/10.1016/j.tcs.2020.09.039}, interhash = {8c265f95135b07144920834c29b8776b}, intrahash = {45978efd2632a078654b1b552cea413c}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {39-61}, timestamp = {2024-04-08T18:37:16.000+0200}, title = {Safe functional systems through integrity types and verified assembly.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs851.html#ChristensenMNRS21}, volume = 851, year = 2021 }