[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Higher-Kinded Data Types: Syntax and Semantics
Johann, Patricia, Polonsky, AndrewYear:
2019
Language:
english
DOI:
10.1109/lics.2019.8785657
File:
PDF, 501 KB
english, 2019