Extensible Encoding of Type Hierarchies


Published in:
ACM Symposium on Principles of Programming Languages (POPL)
Presented at:
ACM Symposium on Principles of Programming Languages (POPL)
Year:
2008
Keywords:
Laboratories:


Note: The status of this file is: Anyone


 Record created 2007-11-10, last modified 2020-07-30

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)