Jump to content

hp.com home products and services support and drivers solutions how to buy
» contact hp

hp.com home

HP Labs Technical Reports

printable version

» hp labs

» about hp labs
» research programs
» people
» worldwide sites
» downloads
» technical reports
» news and events
» careers @ hp labs
» contact hp labs
Content starts here

Click here for full text: PDF

Subtyping recursive types.

Amadio, Roberto M.; Cardelli, Luca.


Keyword(s): Programming languages-(Electronic computers);Abstract data types-(Computer science);

60 Pages

Back to Index

privacy statement using this site means you accept its terms feedback to webmaster