ALL ASU ECSU ECU FSU NCCU UNCA UNCC UNCG UNCP UNCW WCU       

 

Browse All

• Titles
• Author By Last Name
• Keywords
• Departments

Theses & Dissertations

• Titles
• Author By Last Name
• Advisor By Last Name
• Keywords
• Type
• Degrees By Discipline

Submissions

• Articles, Chapters, & other finished products
• Research Data
• Notice & Takedown Policy

Browse by Keywords - P

Select the first letter of the keywords to browse

• OTHER
• .
• 1
• 2
• 3
• A
• B
• C
• D
• E
• F
• G
• H
• I
• J
• K
• L
• M
• N
• O
• P
• Q
• R
• S
• T
• U
• V
• W
• Y
• Z

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

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

• Help
• About Us

Maintained by ERIT, University Libraries, UNCG