Lab for Automated Reasoning and Analysis LARA

Ocaml Resources

  • The OCaml programming language: http://caml.inria.fr/ 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