Skip to Content
STAX
Toggle navigation
STAX
Login
Home
About
Help
Contact
Search STAX
Go
Search Constraints
Start Over
Filtering by:
Creator
Dagand, Pierre-Évariste
Remove constraint Creator: Dagand, Pierre-Évariste
Date
2013
Remove constraint Date: 2013
1
entry found
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Slideshow
Search Results
A cosmology of datatypes : reusability and dependent types
Creator:
Dagand, Pierre-Évariste
Date:
2013
Department, School or Faculty:
Department of Computer and Information Sciences
Toggle facets
Limit your search
Type
Thesis
1
Resource type
Doctoral thesis
1
Creator
Dagand, Pierre-Évariste
[remove]
1
Department, School or Faculty
Department of Computer and Information Sciences
1
Date
2013
[remove]
1