: Functions, recursion, polymorphism, continuations, exceptions, mutable storage, and monads.
If ( \cdot \vdash e : \tau ) and ( e \Downarrow v ), then ( \cdot \vdash v : \tau ). 15312 foundations of programming languages
Yes. Here is why the makes you a better engineer: 15312 foundations of programming languages
