Showing
1 - 1
results of
1
for search '
CONSTRUCTION TECHNOLOGY
'
Skip to content
Home
High Impact Articles
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
Jawi Collection
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Author:
Chlipala, Adam
AND
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
AND
Massachusetts Institute of Technology. Department of Mathematics
Collections:
Institutional Repositories
Language:
English
Reset Filters
Show filters (5)
Author:
Chlipala, Adam
AND
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
AND
Massachusetts Institute of Technology. Department of Mathematics
Collections:
Institutional Repositories
Language:
English
Search Results - CONSTRUCTION TECHNOLOGY
Showing
1 - 1
results of
1
for search '
CONSTRUCTION TECHNOLOGY
'
, query time: 0.06s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Experience Implementing a Performant Category-Theory Library in Coq
by
Chlipala, Adam
,
Spivak, David I.
,
Gross, Jason S.
Published 2015
Call Number:
Loading...
Located:
Loading...
Get fulltext
Article
Search Tools:
Get RSS Feed
—
Email this Search
Back
Narrow Search
Format
Article
1
Sources
MIT IR
1
Collections
Institutional Repositories
Author
Chlipala, Adam
Gross, Jason S.
1
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Massachusetts Institute of Technology. Department of Mathematics
Spivak, David I.
1
Language
English
Genre
Article
1
Year of Publication
From:
To:
Loading...