Typing and semantics of asynchronous arrows in JavaScript.

Eric Fritz Tian Zhao

Published in: Sci. Comput. Program. (2017)

Keyphrases

web applications
open source
semantic information
formal semantics
website
logic programming
operational semantics
data sets
high level
natural language
knowledge representation
web browser
default reasoning
delay insensitive