Caml

Results: 245



#Item
61The Objective Caml system releaseDocumentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)

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

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 1999-12-17 09:41:18
    62The Objective Caml system release 3.00 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.00 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: 2000-04-27 07:31:49
      63The Objective Caml system release 3.05 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.05 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: 2002-07-29 07:53:28
        64The Objective Caml system release 2.04 Documentation and user’s manual Xavier Leroy (with Didier R´emy, J´erˆome Vouillon and Damien Doligez)

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

        Add to Reading List

        Source URL: caml.inria.fr

        Language: English - Date: 1999-11-26 11:50:56
          65Chapter 14 Encoding recursionFixpoint combinators

          Chapter 14 Encoding recursionFixpoint combinators

          Add to Reading List

          Source URL: caml.inria.fr

          Language: English - Date: 2011-11-23 02:41:37
            66Chapter 11 Standalone programs and separate compilation So far, we have used Caml Light in an interactive way. It is also possible to program in Caml Light in a batch-oriented way: writing source code in a file, having

            Chapter 11 Standalone programs and separate compilation So far, we have used Caml Light in an interactive way. It is also possible to program in Caml Light in a batch-oriented way: writing source code in a file, having

            Add to Reading List

            Source URL: caml.inria.fr

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

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

              Add to Reading List

              Source URL: caml.inria.fr

              Language: English - Date: 2000-04-27 09:00:17
                68First-class modules and composable signatures in Objective Caml 3.12 Alain Frisch∗ 1 Jacques Garrigue†

                First-class modules and composable signatures in Objective Caml 3.12 Alain Frisch∗ 1 Jacques Garrigue†

                Add to Reading List

                Source URL: www.math.nagoya-u.ac.jp

                Language: English - Date: 2010-09-26 00:32:24
                  69The Objective Caml system release 3.06 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.06 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: 2002-08-20 03:44:31
                    70Chapter 16 Compiling ASL to an abstract machine code In order to fully take advantage of the static typing of ASL programs, we have to: • either write a new interpreter without type tests (difficult, because we used p

                    Chapter 16 Compiling ASL to an abstract machine code In order to fully take advantage of the static typing of ASL programs, we have to: • either write a new interpreter without type tests (difficult, because we used p

                    Add to Reading List

                    Source URL: caml.inria.fr

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