Jan de Muijnck-Hughes

14 papers A 3Journal 6Unranked 4

Year	Rank	Type	Title / 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

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski