Integrating subtyping, matching and type quantification: A practical perspective

Author(s):  
Andreas Gawecki ◽  
Florian Matthes
Sign in / Sign up

Export Citation Format

Share Document