Media Summary: My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... In this video, we take a look at one of the more challenging computer science concepts: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...
Recursive Functions Ocaml Programming Chapter - Detailed Analysis & Overview
My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ... In this video, we take a look at one of the more challenging computer science concepts: A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... How to implement the `fold_left` and `fold_right` functionals on lists. Textbook:
