Jan de Muijnck-Hughes

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 11

Top Venues

Dagstuhl Artifacts Ser.

ECOOP

CoRR

Eelco Visser Commemorative Symposium

University of St Andrews, UK (PHD)

Education History

University of St Andrews, UK

PHD

Publications

Jan de Muijnck-Hughes, Wim Vanderbauwhede
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... ECOOP (2023)
Jan de Muijnck-Hughes, Wim Vanderbauwhede
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady
Type Theory as a Language Workbench. Eelco Visser Commemorative Symposium (2023)
Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady
Type Theory as a Language Workbench. CoRR (2023)
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). ECOOP (2020)
Jan de Muijnck-Hughes
Type-Driven Development with Idris. J. Funct. Program. 30 (2020)
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
Value-Dependent Session Design in a Dependently Typed Language. PLACES@ETAPS (2019)
Jan de Muijnck-Hughes, Wim Vanderbauwhede
A Typing Discipline for Hardware Interfaces. ECOOP (2019)
Jan de Muijnck-Hughes, Wim Vanderbauwhede
A Typing Discipline for Hardware Interfaces (Artifact). Dagstuhl Artifacts Ser. 5 (2) (2019)
Jan de Muijnck-Hughes
A Short Note on Collecting Dependently Typed Values. CoRR (2018)
Ishbel Duncan, Jan de Muijnck-Hughes
Security Pattern Evaluation. SOSE (2014)
Jan de Muijnck-Hughes, Ishbel Duncan
Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systems. SERE (Companion) (2012)

Jan de Muijnck-Hughes.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan de Muijnck-Hughes