Jan de Muijnck-Hughes

Dagstuhl Artifacts Ser., 2023

Wiring Circuits Is Easy as {0, 1, ω}, or Is It...

[BibT_eX]

[DOI]

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Type Theory as a Language Workbench.

[BibT_eX]

[DOI]

Guillaume Allais

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2020

Type-Driven Development with Idris.

[BibT_eX]

[DOI]

J. Funct. Program., 2020

A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2020

A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl).

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

A Typing Discipline for Hardware Interfaces (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2019

Value-Dependent Session Design in a Dependently Typed Language.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

A Typing Discipline for Hardware Interfaces.

[BibT_eX]

[DOI]

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018

A Short Note on Collecting Dependently Typed Values.

[BibT_eX]

[DOI]

CoRR, 2018

2016

Machine checkable design patterns using dependent types and domain specific goal-oriented modelling languages.

[BibT_eX]

[DOI]

PhD thesis, 2016

2014

Security Pattern Evaluation.

[BibT_eX]

[DOI]

Ishbel Duncan

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

2012

Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systems.

[BibT_eX]

[DOI]