The paper 'Higher-Kinded Data Types: Syntax and Semantics' by Patricia Johann and Andrew Polonsky has been accepted for presentation at LICS'19

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.

Dr. JohannDr. Polonsky

Published: Apr 2, 2019 12:04pm

Tags: