The geometry of types

Ugo Dal Lago, Barbara Petit. The geometry of types. In Roberto Giacobazzi, Radhia Cousot, editors, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. pages 167-178, ACM, 2013. [doi]

Authors

Ugo Dal Lago

This author has not been identified. Look up 'Ugo Dal Lago' in Google

Barbara Petit

This author has not been identified. Look up 'Barbara Petit' in Google