Lab for Automated Reasoning and Analysis LARA

Ocaml Resources

  • The OCaml programming language: is convenient for writing implementations for this class because of its support for algebraic data types and pattern matching, which makes dealing with abstract syntax trees easier.
ocaml_resources.txt · Last modified: 2007/04/04 17:01 by test
© EPFL 2018 - Legal notice