5 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 5 cited
Gradual Soundness: Lessons from Static Python
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…
cs.PL2021★ 2 cited
Types for Tables: A Language Design Benchmark
Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi
Context: Tables are ubiquitous formats for data. Therefore, techniques for writing correct programs over tables, and debugging incorrect ones, are vital. Our specific focus in this…