Jan de Muijnck-Hughes | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Wim Vanderbauwhede
7 publications
Guillaume Allais
5 publications
Edwin Brady
4 publications

research

∙ 01/30/2023

Type Theory as a Language Workbench

Language Workbenches offer language designers an expressive environment ...

0 Jan de Muijnck-Hughes, et al. ∙

research

∙ 04/02/2019

Value-Dependent Session Design in a Dependently Typed Language

Session Types offer a typing discipline that allows protocol specificati...

0 Jan de Muijnck-Hughes, et al. ∙

research

∙ 08/28/2018

A Short Note on Collecting Dependently Typed Values

Within dependently typed languages, such as Idris, types can depend on v...

0 Jan de Muijnck-Hughes, et al. ∙