Formal Foundations of Serverless Computing
small_orange_diamond:PDF - The serverless computing abstraction exposes several low-level operational details that make it hard for programmers to write and reason about their code. This paper sheds light on this problem by presenting λ, an operational semantics of the essence…
- from
- Microservices
- added
- 2026-10-10
- likes
- 0
similar
-
Your Server as a Function monkey.org
small_orange_diamond:PDF - Describes three abstractions which combine to present a powerful programming model for building safe, modular, and efficient server software: Composable futures, services and filters.
-
Going serverless leanpub.com
Building scalable applications with the Serverless Framework and AWS Lambda.
-
Serverless computing requires a shift in mindset blogs.wsj.com
Why IT leaders must communicate business value when talking about serverless solutions.
-
Agile development for serverless platforms manning.com
How to apply agile practices in fully serverless architectures.
-
https://serverless.com/blog/ serverless.com
-
Serverless sea change infoq.com
Article which defines and explains how serverless is different from other application architectures.
Microservices › Theory > Articles & Papers: “small_orange_diamond:PDF - The serverless computing abstraction exposes several low-level operational details that make it hard for programmers to write and reason about their code. This paper sheds light on this problem by presenting λ, an operational semantics of the essence…”