Compiti scritti
Inviato: 19/09/2022, 11:59
Dicembre 2021, con soluzione
- call-by-name
- Soluzione lambda calcolo.jpg (120.01 KiB) Visto 11880 volte
- la type inference ritorna : int -> int list -> int list -> int list
- Soluzione possibile della parte ocaml
- ocaml.jpg (101.76 KiB) Visto 11881 volte
L'interprete non so se รจ corretto, non lo metto