5 citations · 5 across the 1 of their papers we have counts for
1 paper
Kuang-Chen Lu, Ben Greenman, Carl Meyer +3
Context: Gradually-typed languages allow typed and untyped code to interoperate, but typically come with significant drawbacks. In some languages, the types are unreliable; in othe…