Types and program transformations

• Authors:

• Azamat Mametjanov

• Affiliations:

• University of Nebraska at Omaha, Omaha, NE

• Venue:
• Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
• Year:
• 2007