fp functional programming denotational semantics static analysis programming strictness program optimization haskell
See more