Extended H-M example (4)
{"Image DocumentName": "Extended H-M example (4)", "Image ImageDescription": "Finally, at the level of the root, unify the return type of the max function (\uf064) with the type of the body (\uf061, the type of the if node), and the result is the most general type of the max function: a ( )(a,a, bool ( )(a,a)) Or, in ML notation: a   a   ( a   a -> bool) -> a. Chapter 6. K. Louden, Programming Languages.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}