The role of type equality in meta-programming

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

Citations:

Thumbnail	Title	Date Uploaded	Visibility	Actions
	111_etd.pdf	2018-10-09	Public	Download