ExercisesPart 2 - Expressions and functionsTutorial (draft)Documentation and user's manualTable of contentsOCaml programs

Tutorial (draft)

  • Expressions
  • Binding value names
  • Types
  • Automatic type inference
  • Well-typed expressions and computations - Values and types
  • Functional values
  • Polymorphism
  • Functions - Abstraction and application
    • Latest update : October 5, 2006
    This document was translated from LaTeX by Hyperlatex 2.5, which is not the latest version of Hyperlatex.

    ExercisesPart 2 - Expressions and functionsTutorial (draft)Documentation and user's manualTable of contentsOCaml programs