Skip to Content
STAX
Toggle navigation
STAX
登录
首页
关于
帮助
联系
搜索 STAX
转到
搜索条件
清除筛选
筛选:
创造者
Dagand, Pierre-Évariste
删除限定条件 创造者: Dagand, Pierre-Évariste
找到
1
条目
按 relevance 排序
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
每页显示结果数
10 每页
10
每页
20
每页
50
每页
100
每页
以如下方式察看搜索结果:
列表
图片式展示
幻灯式展示
搜索结果
A cosmology of datatypes : reusability and dependent types
创造者:
Dagand, Pierre-Évariste
日期:
2013
Department, School or Faculty:
Department of Computer and Information Sciences
Toggle facets
限定搜索
类型
Thesis
1
资源类型
Doctoral thesis
1
创造者
Dagand, Pierre-Évariste
[remove]
1
部门，学校或学院
Department of Computer and Information Sciences
1
日期
2013
1