Skip to Content
Toggle navigation
Digital Collections
Switch language
English
Switch language
Deutsch
English
Español
Français
Italiano
Português do Brasil
中文
Login
Home
About
Help
CONTACT
Search Digital Collections
Go
All of Digital Collections
All of Digital Collections
The role of type equality in meta-programming
Public
Deposited
Creator
Emir Pasalic
Identifier
doi:10.6083/M4N877QF
Keyword
logic programming
type theory
programming languages (electronic computers)
computer programming
Document type
dissertation
Rights
In Copyright
License
Creative Commons BY Attribution 4.0 International
In Collection:
Scholars Archive
In Administrative Set:
Default Admin Set
Download file
Citations:
EndNote
Items
Thumbnail
Title
Date Uploaded
Visibility
Actions
111_etd.pdf
2018-10-09
Public
Download
Downloadable Content