| No. |
Title |
Author |
Year |
| 1 |
Type Theory as a Language Workbench |
de Muijnck-Hughes, Jan et al. |
2023 |
| 2 |
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact) |
de Muijnck-Hughes, Jan et al. |
2023 |
| 3 |
Wiring Circuits Is Easy as {0,1,ω}, or Is It... |
de Muijnck-Hughes, Jan et al. |
2023 |
| 4 |
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact) |
de Muijnck-Hughes, Jan et al. |
2020 |
| 5 |
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl) |
de Muijnck-Hughes, Jan et al. |
2020 |
| 6 |
A Typing Discipline for Hardware Interfaces |
de Muijnck-Hughes, Jan et al. |
2019 |
| 7 |
A Typing Discipline for Hardware Interfaces (Artifact) |
de Muijnck-Hughes, Jan et al. |
2019 |
