generated at
Serverlessの操作的意味論
Serverlessの操作的意味論

Formal Foundations of Serverless Computing
Abhinav Jangda
Donald Pinckney
Yuriy Brun
Arjun Guha
https://ccvanishing.hateblo.jp/entry/2022/11/10/185512
https://speakerdeck.com/ytaka23/aws-dev-day-2022-japan
https://qiita.com/zakuro/items/8615dcc2341a36561371
https://speakerdeck.com/ytaka23/developers-summit-2023-summer