はじめに この記事は、OOPの国際学会1 OOSPLA'19 で発表され、 distinguished paper award を受賞した Formal foundations of serverless computing (Jangda et al.) の解説記事です...