Browsing Computer Science by Author "Tiuryn, Jerzy"

OpenBU

Browsing Computer Science by Author "Tiuryn, Jerzy"

Sort by: Order: Results:

  • Tiuryn, Jerzy (Boston University Computer Science Department, 1995-02)
    Two polymorphic types σ and τ are said to be bicoercible if there is a coercion from σ to τ and conversely. We give a complete equational axiomatization of bicoercible types and prove that the relation of bicoercibility ...

Search OpenBU


Advanced Search

Browse

Deposit Materials