ALL
ASU
ECSU
ECU
FSU
NCCU
UNCA
UNCC
UNCG
UNCP
UNCW
WCU
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 - N
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 4 record/s using the keyword/s:
nested types
.
View
25
/
50
/
ALL
records per page.
Title
Date
Creator
Publication Type
Institution
Deep Induction: Induction Rules For (Truly) Nested Types
2020
Johann, Patricia
Faculty
Computer Science,
ASU
How Functorial Are (Deep) GADTs?
2022
Johann, Patricia
Faculty
Computer Science,
ASU
Initial Algebra Semantics Is Enough!
2007
Johann, Patricia
Faculty
Computer Science,
ASU
Towards Formalizing Parametricity For Nested Types In Agda
2021
Jeffries, Daniel
Student
Computer Science - Student,
ASU