 
Index of concepts
- 
 abstract
-  abstract machine, 7
-  abstract type, 14
-  abstraction, 2
-  affectation, 3
-  aggregation, 15
-  allocation
-  application, 2
- 
 of a function, 2
-  partial, 2
 
-  arity, 2
-  array, 3
-  BNF, see grammar
-  big numbers, 8
-  binding
-  boolean, 2
-  boucle d'interaction, 7
- 
 construction, 7
-  options, 7
 
-  bytecode, 7
- 
 dynamic loading, 8
-  the compiler, see compiler
 
-  bytecode, see bytecode
-  C (the langage), 12
-  callback, 12
-  cartesian product, 2
-  character, 2
-  character string, 2
-  character strings, 3
-  class, 15
- 
 abstract, 15
-  inheritance, 15
-  instance, 15
-  interface, 15
-  local declaration, 15
-  multiple inheritance, 15
-  open type, 15
-  parameterized, 15
-  type, 15
-  variable, 15
-  virtual, 15
 
-  class instance, 15
-  client-server, 20
-  closure, 2, 2
- 
 from C, 12
-  representation, 12
 
-  command line, 8
-  communication channel, 3, 18
-  communication pipes, 18
-  compilateur, 7
-  compilation, 7
-  compilation unit, 7
-  compiler
- 
 debug, 10
-  bytecode, 7, 7
-  command, 7
-  linking, 7
-  native, 7
-  profiling, 10
 
-  concurrency, 19, 19
-  conditional, 2
-  conflict, see parsing
-  conservative, 9
-  constraint, 14
-  constructor, 2, 2
- 
 constant, 2
-  functional, 2
 
-  critical section, 19
-  cyclic
-  debugger, see debugging
-  debugging, 10, 10
-  declaration
- 
 of an exception, 2
-  external, 12
-  of function, 2
-  global, 2
-  local, 2
-  by matching, 2
-  of an operator, 2
-  recursive, 2
-  simultaneous global, 2
-  simultaneous local, 2
-  of type, 2
-  of value, 2
 
-  destructor, 9
-  digest, see fingerprint
-  dot notation, 8
-  dynamic loading, 8
-  environment, 2, 12
-  evaluation
- 
 deferred, 4
-  retardée, 4
-  order of evaluation, 3
 
-  événement, 5
-  exception, 2
- 
 declaration, 2
-  handling, 2
-  printing, 8
-  raising, 2
-  with C, 12
 
-  execution stack, 10
-  expression
- 
 functional, 2
-  rational, 11
-  regular, 11
 
-  external declaration, see declaration
-  famine, 19
-  file
- 
 extension
- 
 .ml, 7
-  .mli, 7
-  .mll, 11
-  .mly, 11
 
-  interface, 7
 
-  finalization, 12
-  fingerprint, 8
-  floating-point number, 2
-  floats
- 
 arrays of, 12
-  representation, 12
 
-  function, 2
- 
 for finalization, 12
-  higher order, 2
-  mutually recursive, 2
-  partial, 2
-  polymorphic, 2
-  recursive, 2
-  registration with C, 12
-  tail recursive, 4
 
-  function call, see application
-  functional, 2
-  functor, 14
-  GC, 9, 9, Mark& Sweep9
- 
 , conservative, 9
-  , generational, 9
-  from C, 12
-  incremental, 9
-  major, 9
-  minor, 9
-  Stop&Copy, 9
 
-  garbage collection, see GC, 9
-  garbage collector, see GC
-  grammar, 11
- 
 contextual, 11
-  definition, 11
-  rule, 11
 
-  Has-a, 15
-  hashing, 8
-  heap, 9
-  Is-a, 15
-  identifier, 11
-  inclusion
-  inheritance, 15
-  inlining, 7
-  input-output, 8
-  installing Objective CAML, 1
- 
 Linux, 1
-  online HTML help, 1
-  Unix, 1
-  Windows, 1
 
-  installingObjective CAML
-  instance
- 
 class, 15
-  classe, 15
-  variable, 15
 
-  integer, 2
-  interface, 14, 15
- 
 graphical, 13
-  with C, 12, 12
-  with the system, 8
 
-  interoperability, 12
-  intput-output, 8
-  label, B
-  lazy (data), 4
-  lexical analysis, 11
-  lexical unit, 11
-  library, 8
-  linearization, 8
-  linking, 7
-  list, 2
- 
 association, 8
-  matching, 2
 
-  Mark&Sweep, 9
-  mémoire
- 
 récupération
- 
 explicite, 9
-  implicite, 9
 
 
-  matching, 2
- 
 exhaustive, 2
-  destructive, 4
 
-  memory
- 
 allocation, 9
-  automatic
-  cache, 9
-  deallocation, 9, 9
-  dynamic, 9
-  explicit deallocation, 9
-  management, 9
-  reclamation, 9
-  static, 9
 
-  message sending, 15
-  method, 15
-  modifiable, 3
-  module, 14
- 
 constraint, 14
-  dependency, 10
-  local definition, 14
-  opening, 8
-  parameterized, 14
-  sub-module, 14
 
-  mutual exclusion, 19
-  OCamlBrowser, B
-  object, 15
-  operator
- 
 associativity, 11
-  declaration, 2
-  precedence, 11
 
-  optional (argument), B
-  pair, 2
-  parsing
- 
 bottom-up, 11
-  conflict, 11, 11
-  ocamlyacc, 11
-  stream, 11, 11
-  top-down, 11
 
-  pattern
- 
 character interval, 2
-  combining, 2
-  guard, 2
-  matching, 2
-  naming, 2
-  wildcard, 2, 2
 
-  pattern matching, see matching
-  persistence, 8
-  persistent
-  pointer, 3
-  polymorphism, 2
-  portabilité, 7
-  process, 18
-  processus
-  producteur-consommateur, 19
-  production rule, see grammar
-  profiling, 10
-  protocol, 20
-  reader-writer, 19
-  record, 2
-  reference, 3
-  root, 9
-  Sequence, 3
-  Stop&Copy, 9
-  scope of a variable, 2
-  self, 15
-  semaphore, 19
-  session, 7
-  sharing, 8
-  signal, 18
-  signature, 14
-  socket, 20
-  stack, 9
-  standalone executable, 7
-  stream, 4
- 
 lexical analysis, 11
-  parsing, 11, 11
 
-  strict (language), 4
-  string, see character string
-  strings
-  structure, 14
-  subtyping-typage, 15
-  super, 15
-  synchronization, 19
-  syntax analysis, 11
-  Toplevel loop
-  tag bits, 9
-  this, 15
-  thread, see processus léger
-  toplevel, see boucle d'interaction
-  trace, 10
-  tree, 2
-  tuple, 2
-  type
- 
 abstract, 14
-  constraint, 2, 14, 15, 15
-  constructor, 2
-  declaration, 2
-  enumerated, 2
-  function, 2
-  functional, 2
-  mutually recursive, 2
-  object, 15
-  open, 15, 15
-  parameterized, 2, 2, 2
-  product, 2
-  record, 2
-  recursive, 2
-  sum, 2, 2
-  sum types
-  union, 2
 
-  UML, 15
-  value
- 
 atomic, 3
-  construction, 9
-  declaration, 2
-  exploration, 12
-  function, 12
-  global declaration, 2
-  immediate, 12
-  inspection, 10
-  local declaration, 2
-  persistent
-  representation, 12
-  sharing, 3
-  structured, 3, 12
 
-  variable
- 
 bound, 2
-  free, 2, 2
-  type, 2
-  weak type, 3
 
-  variants
-  vector, see array
-  virtual
-  Zinc, 7
-  zombie, 18
