The paper 'Higher-Kinded Data Types: Syntax and Semantics' by Patricia Johann and Andrew Polonsky has been accepted for presentation at the 2019 ACM/IEEE Symposium on Logic in Computer Science (LICS'19) to be held in Vancouver, BC, Canada, 24-27 June. LICS is the world's premier international conference on logical foundations of computing; paper acceptance is accordingly competitive.
Dr. Johann is a professor in the Computer Science Department at ASU. Dr. Polonsky has been a postdoctoral research assistant on Dr. Johann's NSF grant, New Foundations for Indexed Programming, since January 2018. He previously held postdoctoral positions in Paris, Amsterdam, Princeton, and Bergen.