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