Browse by Keywords - P

Select the first letter of the keywords to browse

There are 3 record/s using the keyword/s: parametricity.

View 25 / 50 / ALL records per page.

TitleDateCreatorPublication TypeInstitution
Abstraction and Invariance for Algebraically Indexed Types2013Johann, Patricia FacultyComputer Science, ASU
Bifibrational Functorial Semantics For Parametric Polymorphism2015Johann, Patricia FacultyComputer Science, ASU
A Generalization of Short-Cut Fusion and Its Correctness Proof2002Johann, Patricia FacultyComputer Science, ASU