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