Projects and History

http://www.inria.fr Institut national de recherche en informatique et en automatique

http://www.cs.princeton.edu/~dpw/courses/cos326-12/notes/index.php Princeton

https://csd.cs.cmu.edu/course-profiles/15-295-Competition-Programming-and-Problem-Solving CMU

Reference

https://ocaml.org/learn/tutorials/functional_programming.zh.html

https://www.ibm.com/developerworks/cn/linux/sdk/ocaml/part1/index.html

Simply Logical: http://people.cs.bris.ac.uk/~flach/SimplyLogical.html

Logic Programming, Reasoning

https://ocaml.org/learn/tutorials/if_statements_loops_and_recursion.zh.html

http://yuezhuang.me/2018/06/22/2018-06-25/

https://ocaml.org/learn/tutorials/if_statements_loops_and_recursion.zh.html

https://ocaml.org/docs/

Homework and Exam

http://xahlee.info/ocaml/ocaml_basics.html

https://www.cs.umd.edu/class/fall2015/cmsc330/lecture_examples/examples.pdf

https://ocaml.org/learn/tutorials/basics.html

https://ocaml.org/learn/tutorials/99problems.html