Abstract
In this thesis, we present a translation from an embedded hardware description language with variable bindings (lambda one) to an embedded hardware description language without variable bindings (Piware). The host language for these embedded languages is Agda. We take a look at type theory and how it relates to higher
... read more