The words contained in this file might help you see if this file matches what you are looking for:

...The scala programming language mooly sagiv slides taken from martin odersky epfl donna malayeri cmu hila peleg tau modern functional higher order modules pattern matching statically typed with type inference two viable alternatives haskel pure lazy evaluation and leads to concise support for domain specific languages i o monads classes ocaml encapsulated side effects via references then why aren t fp adapted education lack of oo subtyping increases complexity programmers seeks control on exact implementation imperative is natural in certain situations coming runs jvm net can use any java code combines a smooth way effective library inheritance general modularity mechanisms...