Value-dependent session design in a dependently typed language J de Muijnck-Hughes, E Brady, W Vanderbauwhede arXiv preprint arXiv:1904.01288, 2019 | 13 | 2019 |
Security pattern evaluation I Duncan, J de Muijnck-Hughes 2014 IEEE 8th International Symposium on Service Oriented System Engineering …, 2014 | 7 | 2014 |
Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systems de Muijnck-Hughes, I Duncan Software Security and Reliability Companion (SERE-C), 2012 IEEE Sixth …, 2012 | 6 | 2012 |
A Typing Discipline for Hardware Interfaces (Artifact) J de Muijnck-Hughes, W Vanderbauwhede Special Issue of the 33rd European Conference on Object-Oriented Programming …, 2019 | 5* | 2019 |
A Typing Discipline for Hardware Interfaces J de Muijnck-Hughes, W Vanderbauwhede 33rd European Conference on Object-Oriented Programming (ECOOP 2019) 134, 6 …, 2019 | 5 | 2019 |
Issues affecting security design pattern engineering J de Muijnck-Hughes, IMM Duncan Proceedings of the Second International Conference on Cyberpatterns, 2013 | 5 | 2013 |
Data protection in the cloud J de Muijnck-Hughes Master's thesis, Radboud Universiteit Nijmegen, 2011 | 5 | 2011 |
Type theory as a language workbench J de Muijnck-Hughes, G Allais, E Brady arXiv preprint arXiv:2301.12852, 2023 | 1 | 2023 |
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl) J de Muijnck-Hughes, E Brady, W Vanderbauwhede Schloss Dagstuhl--Leibniz-Zentrum für Informatik 166, 20, 2020 | 1 | 2020 |
Type-driven development with Idris J de Muijnck-Hughes Journal of Functional Programming 30, e16, 2020 | 1 | 2020 |
Colouring flags with Dafny & Idris J de Muijnck-Hughes, J Noble Dafny 2024, 2024 | | 2024 |
Capable: a mechanised imperative language with native multiparty session types J de Muijnck-Hughes, C Urlea, L Voinea, W Vanderbauwhede ACM SIGPLAN International Conference on Systems, Programming, Languages and …, 2023 | | 2023 |
Wiring circuits is easy as {0, 1, w}, or is it... J de Muijnck-Hughes, W Vanderbauwhede 37th European Conference on Object-Oriented Programming, ECOOP 2023, 8, 2023 | | 2023 |
Wiring Circuits Is Easy as {0, 1, ω}, or Is It...(Artifact) J de Muijnck-Hughes, W Vanderbauwhede Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023 | | 2023 |
Well-typed models are correct models: applying state-of-the-art advances in programming language theory to systems-on-a-chip J de Muijnck-Hughes, W Vanderbauwhede Scottish Seminar on Formal Modelling, Verification, and Synthesis, 2019 | | 2019 |
A Short Note on Collecting Dependently Typed Values J de Muijnck-Hughes arXiv preprint arXiv:1808.09234, 2018 | | 2018 |
Machine checkable design patterns using dependent types and domain specific goal-oriented modelling languages J de Muijnck-Hughes University of St Andrews, 2016 | | 2016 |
What's the PREMES behind your pattern? J de Muijnck-Hughes, IMM Duncan Proceedings of the 22nd Conference on Pattern Languages of Programs (PLoP'15), 2015 | | 2015 |
Searching for Efficient Permutation Codes J de Muijnck Hughes | | 2008 |
Book Review: Type-Driven Development with Idris J de Muijnck-Hughes, J deMuijnck | | |