Papers -

2023

de Muijnck-Hughes, J., Allais, G. & Brady, E. (2023). Type theory as a language workbench. CoRR, abs/2301.12852. https://doi.org/10.48550/arXiv.2301.12852

de Muijnck-Hughes, J., Brady, E. & Vanderbauwhede, W. (2020). A framework for resource dependent edsls in a dependently typed language (pearl). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2020.20
de Muijnck-Hughes, J., Brady, E. & Vanderbauwhede, W. (2020). A framework for resource dependent edsls in a dependently typed language (artifact). Dagstuhl Artifacts Ser., 6(2). 02:1–02:3. https://doi.org/10.4230/DARTS.6.2.2
de Muijnck-Hughes, J. (2020). Type-driven development with idris. J. Funct. Program., 30. e16. https://doi.org/10.1017/S0956796820000143

de Muijnck-Hughes, J. & Vanderbauwhede, W. (2019). Well-Typed Models are Correct Models: Applying state-of-the-art advances in programming language theory to systems-on-a-chip. Retrieved from http://www.dcs.gla.ac.uk/research/formalmethods/sfmoves/
de Muijnck-Hughes, J. & Vanderbauwhede, W. (2019). A Typing Discipline for Hardware Interfaces (Artifact). Dagstuhl Artifacts Series, 5(2). 14:1–14:3. https://doi.org/10.4230/DARTS.5.2.14
de Muijnck-Hughes, J. & Vanderbauwhede, W. (2019). A typing discipline for hardware interfaces. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2019.6
de Muijnck-Hughes, J., Brady, E. & Vanderbauwhede, W. (2019). Value-dependent session design in a dependently typed language. https://doi.org/10.4204/EPTCS.291.5
de Muijnck-Hughes, J. & Vanderbauwhede, W. (2019). A typing discipline for hardware interfaces (artifact). Dagstuhl Artifacts Ser., 5(2). 14:1–14:3. https://doi.org/10.4230/DARTS.5.2.14

de Muijnck-Hughes, J. (2018). A short note on collecting dependently typed values. Retrieved from http://arxiv.org/abs/1808.09234

de Muijnck-Hughes, J. & Brady, E. (2017). Type-driven verification of security protocols. Retrieved from https://jfdm.github.io/draft/2017-tdvsp.pdf

de Muijnck-Hughes, J. & Duncan, I. (2015). What’s the premes behind your pattern?. The Hillside Group. https://doi.org/10.5555/3124497.3124502

Duncan, I. & de Muijnck-Hughes, J. (2014). Security pattern evaluation. IEEE Computer Society. https://doi.org/10.1109/SOSE.2014.61

de Muijnck-Hughes, J. & Duncan, I. (2013). Issues affecting security design pattern engineering. Oxford Brookes University. Retrieved from http://tech.brookes.ac.uk/CyberPatterns2013/

de Muijnck-Hughes, J. & Duncan, I. (2012). Thinking towards a pattern language for predicate based encryption crypto-systems. IEEE. https://doi.org/10.1109/SERE-C.2012.34