Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Murase, Yuito"'
This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly infinitely) iterated enrichment and interpretation of modality as hom
Externí odkaz:
http://arxiv.org/abs/1804.02809
Modal types -- types that are derived from proof systems of modal logic -- have been studied as theoretical foundations of metaprogramming, where program code is manipulated as first-class values. In modal type systems, modality corresponds to a type
Externí odkaz:
http://arxiv.org/abs/1801.09225
Autor:
Thomas Wies
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS