Home > Authors > Adriana B. Compagnoni > Subtyping in F (omega,lambda) is decidable

Subtyping in F (omega,lambda) is decidable

Adriana B. Compagnoni

Recent activity

Rate this book to see your activity here.

1 Book Similar to Subtyping in F (omega,lambda) is decidable by Adriana B. Compagnoni

Bookscovery readers who liked Subtyping in F (omega,lambda) is decidable also like Multiple inheritance via intersection types. How many of these have you read?

Multiple inheritance via intersection types by Adriana B. Compagnoni

Cover of Multiple inheritance via intersection types

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of Subtyping in F (omega,lambda) is decidable

Please sign in to leave a comment