Tags
formal methods
haskell
infrastructure
java
model checking
alloy
jvm
frege
programming
container
kubernetes
monad
aws
serverless
fission
docker
type theory
openssl
heartbleed
refinement types
verification
liquid haskell
k8s
faas
kubeless
eta
language
design
relational calculus
evaluation
laziness
non-strict
computer science
promela
spin
See more
Presentations
(12)Tags
formal methods
haskell
infrastructure
java
model checking
alloy
jvm
frege
programming
container
kubernetes
monad
aws
serverless
fission
docker
type theory
openssl
heartbleed
refinement types
verification
liquid haskell
k8s
faas
kubeless
eta
language
design
relational calculus
evaluation
laziness
non-strict
computer science
promela
spin
See more