Comment on Static, Ahead of Time Compiled JuliaparentComments−igouy10yType safety is the property that no primitive operation ever applies to values of the wrong type."Programming Languages: Application and Interpretation" Shriram Krishnamurthi, 2003.
Comments
Type safety is the property that no primitive operation ever applies to values of the wrong type.
"Programming Languages: Application and Interpretation" Shriram Krishnamurthi, 2003.