2 citations · 2 across the 2 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2023★ 4 cited
Trustworthy Formal Natural Language Specifications
Colin S. Gordon, Sergey Matskevich
Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However…
cs.PL2023★ 1 cited
Error Localization for Sequential Effect Systems (Extended Version)
Colin S. Gordon, Chaewon Yun
We describe a new concrete approach to giving predictable error locations for sequential (flow-sensitive) effect systems. Prior implementations of sequential effect systems rely on…
cs.PL2016★ 2 cited
Type Inference for Static Compilation of JavaScript (Extended Version)
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin +4
We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The ty…