Jan de Muijnck-Hughes

14 papers A 3Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — conf
Type Theory as a Language Workbench.
Eelco Visser Commemorative Symposium
Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady
2023 J jnl
Type Theory as a Language Workbench.
CoRR
Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady
2023 A conf
Wiring Circuits Is Easy as {0, 1, ω}, or Is It...
ECOOP
Jan de Muijnck-Hughes, Wim Vanderbauwhede
2023 J jnl
Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact).
Dagstuhl Artifacts Ser.
Jan de Muijnck-Hughes, Wim Vanderbauwhede
2020 J jnl
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact).
Dagstuhl Artifacts Ser.
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
2020 A conf
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl).
ECOOP
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
2020 J jnl
Type-Driven Development with Idris.
J. Funct. Program.
Jan de Muijnck-Hughes
2019 J jnl
A Typing Discipline for Hardware Interfaces (Artifact).
Dagstuhl Artifacts Ser.
Jan de Muijnck-Hughes, Wim Vanderbauwhede
2019 A conf
A Typing Discipline for Hardware Interfaces.
ECOOP
Jan de Muijnck-Hughes, Wim Vanderbauwhede
2019 — conf
Value-Dependent Session Design in a Dependently Typed Language.
PLACES@ETAPS
Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede
2018 J jnl
A Short Note on Collecting Dependently Typed Values.
CoRR
Jan de Muijnck-Hughes
2016 — —
Machine checkable design patterns using dependent types and domain specific goal-oriented modelling languages.
Jan de Muijnck-Hughes
2014 — conf
Security Pattern Evaluation.
SOSE
Ishbel Duncan, Jan de Muijnck-Hughes
2012 — conf
Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systems.
SERE (Companion)
Jan de Muijnck-Hughes, Ishbel Duncan