Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation

Publication

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation

POPL 2014: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 5-18

Authors

Giuseppe Castagna Kim Nguyễn Zhiwu Xu Hyeonseung Im Sergueï Lenglet Luca Padovani

Tags

programming-languages formal-methods