conference paper
Extensible Encoding of Type Hierarchies
2008
ACM Symposium on Principles of Programming Languages (POPL)
Type
conference paper
Web of Science ID
WOS:000256500600033
WOS:000265876500030
Author(s)
Date Issued
2008
Published in
ACM Symposium on Principles of Programming Languages (POPL)
Start page
349
End page
358
Subjects
Editorial or Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
Available on Infoscience
November 10, 2007
Use this identifier to reference this record