Browse by Keywords - P

Select the first letter of the keywords to browse

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

View 25 / 50 / ALL records per page.

Title	Date	Creator	Publication Type	Institution
Abstraction and Invariance for Algebraically Indexed Types	2013	Johann, Patricia	Faculty	Computer Science, ASU
Bifibrational Functorial Semantics For Parametric Polymorphism	2015	Johann, Patricia	Faculty	Computer Science, ASU
A General Framework For Relational Parametricity	2018	Johann, Patricia	Faculty	Computer Science, ASU
A Generalization of Short-Cut Fusion and Its Correctness Proof	2002	Johann, Patricia	Faculty	Computer Science, ASU
The Impact Of seq On Free Theorems-Based Program Transformations	2006	Johann, Patricia	Faculty	Computer Science, ASU
Parametricity For Primitive Nested Types	2021	Johann, Patricia	Faculty	Computer Science, ASU
Towards Formalizing Parametricity For Nested Types In Agda	2021	Jeffries, Daniel	Student	Computer Science - Student, ASU