Presentation is loading. Please wait.

Presentation is loading. Please wait.

Semantics HOFL short semantics Roberto Zunino

Similar presentations


Presentation on theme: "Semantics HOFL short semantics Roberto Zunino"— Presentation transcript:

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


Download ppt "Semantics HOFL short semantics Roberto Zunino"

Similar presentations


Ads by Google