Zobrazeno 1 - 1
of 1
pro vyhledávání: '"03B45(Primary) 68N18, 03B38 (Secondary)"'
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
