OCaml

Type System: Strongly statically typed with type inference (Hindley-Milner)
Memory Management: Garbage Collected (Automatic)

Features

• Strong static typing with type inference
• Polymorphic types

References

https://ocaml.org/docs/papers.html