Ki Yung Ahn

Identifiers

No identifiers captured yet.

Papers (2)

1. An Executable Specification of Typing Rules for Extensible Records based on Row Polymorphism cs.PL · 2017 · author #1
2. Generating Witness of Non-Bisimilarity for the pi-Calculus cs.LO · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alwen Tiu 1 shared papers
• Ross Horne 1 shared papers