Extensible Encoding of Type Hierarchies

• Presented at: ACM Symposium on Principles of Programming Languages (POPL)
• Published in: ACM Symposium on Principles of Programming Languages (POPL)
• : , 2008

Keywords: NCCR-MICS ; NCCR-MICS/CL1

Reference

• LPD-CONF-2007-016
• View record in Web of Science
• View record in Web of Science

Record created on 2007-11-10, modified on 2012-03-20