1. Semantics HOFL short semantics Roberto Zunino

2. Preliminaries: function update

3. Preliminaries: substitution

4. Preliminaries: substitution

5. HOFL

6. HOFL syntax

7. HOFL examples

8. HOFL examples

9. HOFL examples

10. Simple Types

11. Operational: Eager big step
NOT for
the exam

12. Operational: Lazy big step
NOT for
the exam

13. Denotational: eager domains
NOT for
the exam

14. Denotational: lazy domains
NOT for
the exam

15. Denotational: eager semantics
NOT for
the exam

16. Denotational: lazy semantics
NOT for
the exam

17. Operators: application
NOT for
the exam

18. Operators: plus, cond
NOT for
the exam

19. Operators: pair
NOT for
the exam

20. Operators: projections
NOT for
the exam

21. Example: Ocaml
NOT for
the exam

22. Example: Haskell
NOT for
the exam

23. THE END