Caml

Results: 245



#Item
51Chapter 8  Escaping from computations: exceptions In some situations, it is necessary to abort computations. If we are trying to compute the integer division of an integer n by 0, then we must escape from that embarrassi

Chapter 8 Escaping from computations: exceptions In some situations, it is necessary to abort computations. If we are trying to compute the integer division of an integer n by 0, then we must escape from that embarrassi

Add to Reading List

Source URL: caml.inria.fr

- Date: 2011-11-23 02:41:37
    52Chapter 6  User-defined types The user is allowed to define his/her own data types. With this facility, there is no need to encode the data structures that must be manipulated by a program into lists (as in Lisp) or into

    Chapter 6 User-defined types The user is allowed to define his/her own data types. With this facility, there is no need to encode the data structures that must be manipulated by a program into lists (as in Lisp) or into

    Add to Reading List

    Source URL: caml.inria.fr

    - Date: 2011-11-23 02:41:37
      53The Objective Caml system release 3.07 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

      The Objective Caml system release 3.07 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

      Add to Reading List

      Source URL: caml.inria.fr

      Language: English - Date: 2003-07-22 08:56:19
        54Chapter 1  Introduction This document is a tutorial introduction to functional programming, and, more precisely, to the usage of Caml Light. It has been used to teach Caml Light1 in different universities and is intended

        Chapter 1 Introduction This document is a tutorial introduction to functional programming, and, more precisely, to the usage of Caml Light. It has been used to teach Caml Light1 in different universities and is intended

        Add to Reading List

        Source URL: caml.inria.fr

        Language: English - Date: 2011-11-23 02:41:37
          55PARTNERSHIP AGREEMENT Defining and organising the Caml Consortium BETWEEN: INSTITUT NATIONAL DE LA RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA) (THE NATIONAL INSTITUTE FOR RESEARCH IN DATA PROCESSING AND AUTOMATIO

          PARTNERSHIP AGREEMENT Defining and organising the Caml Consortium BETWEEN: INSTITUT NATIONAL DE LA RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA) (THE NATIONAL INSTITUTE FOR RESEARCH IN DATA PROCESSING AND AUTOMATIO

          Add to Reading List

          Source URL: caml.inria.fr

          Language: English - Date: 2011-11-23 02:45:14
            56The Objective Caml system release 3.09 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

            The Objective Caml system release 3.09 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

            Add to Reading List

            Source URL: caml.inria.fr

            Language: English - Date: 2005-10-27 07:58:02
              57Xavier Leroy Pierre Weis ´ ERENCE ´ MANUEL DE REF

              Xavier Leroy Pierre Weis ´ ERENCE ´ MANUEL DE REF

              Add to Reading List

              Source URL: caml.inria.fr

              Language: French - Date: 2009-07-20 04:38:50
                58Chapter 5  Lists Lists represent an important data structure, mainly because of their success in the Lisp language. Lists in ML are homogeneous: a list cannot contain elements of different types. This may be annoying to

                Chapter 5 Lists Lists represent an important data structure, mainly because of their success in the Lisp language. Lists in ML are homogeneous: a list cannot contain elements of different types. This may be annoying to

                Add to Reading List

                Source URL: caml.inria.fr

                Language: English - Date: 2011-11-23 02:41:37
                  59Chapter 2  Functional languages Programming languages are said to be functional when the basic way of structuring programs is the notion of function and their essential control structure is function application. For exam

                  Chapter 2 Functional languages Programming languages are said to be functional when the basic way of structuring programs is the notion of function and their essential control structure is function application. For exam

                  Add to Reading List

                  Source URL: caml.inria.fr

                  Language: English - Date: 2011-11-23 02:41:37
                    60

                    PDF Document

                    Add to Reading List

                    Source URL: caml.inria.fr

                    - Date: 2011-11-23 02:41:37