Zobrazeno 1 - 10
of 6 344
pro vyhledávání: '"Smith, Scott"'
Autor:
Smith, Scott, Zhang, Robert
This paper develops a novel minimal-state operational semantics for higher-order functional languages that uses only the call stack and a source program point or a lexical level as the complete state information: there is no environment, no substitut
Externí odkaz:
http://arxiv.org/abs/2310.15915