4 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Isaac Oscar Gariano, Richard Roberts, Stefan Marr +2
One form of type checking used in gradually typed language is transient type checking: whenever an object 'flows' through code with a type annotation, the object is dynamically che…