I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Polymorphic functions with set-theoretic types : part 1:..:

, In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
Castagna, Giuseppe ; Nguyen, Kim ; Xu, Zhiwu... - p. 5-17 , 2014
Link: https://dl.acm.org/doi/10.1145/2535838.2535840