Caml

Results: 245



#Item
71First-class modules and composable signatures in Objective Caml 3.12 Jacques Garrigue (Nagoya University) http://www.math.nagoya-u.ac.jp/~garrigue/ with Alain Frisch (Lexifi), OCaml developper team (INRIA)

First-class modules and composable signatures in Objective Caml 3.12 Jacques Garrigue (Nagoya University) http://www.math.nagoya-u.ac.jp/~garrigue/ with Alain Frisch (Lexifi), OCaml developper team (INRIA)

Add to Reading List

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

Language: English - Date: 2010-09-26 00:32:24
    72Für unsere Forschungsprojekte auf dem Gebiet der Natürlichen Killerzellen benötigen wir regelmäßig frisch gespendetes Blut. Aus caml Vollblut werden die gewünschten Zellen isoliert und für wissenschaft

    Für unsere Forschungsprojekte auf dem Gebiet der Natürlichen Killerzellen benötigen wir regelmäßig frisch gespendetes Blut. Aus caml Vollblut werden die gewünschten Zellen isoliert und für wissenschaft

    Add to Reading List

    Source URL: www.ifado.de

    Language: German - Date: 2014-10-28 13:08:26
      73The Objective Caml system release 3.02 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.02 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: 2001-07-30 07:37:07
        74Le sous-typage d’OCaml Jacques Garrigue 25 juin 2008 Objective Caml est ´equip´e d’une relation de sous-typage. Pour ´eviter les interf´erences avec l’inf´erence de types, la r`egle de subsomption est explicit

        Le sous-typage d’OCaml Jacques Garrigue 25 juin 2008 Objective Caml est ´equip´e d’une relation de sous-typage. Pour ´eviter les interf´erences avec l’inf´erence de types, la r`egle de subsomption est explicit

        Add to Reading List

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

        Language: French - Date: 2008-06-25 02:38:45
          75Chapter 12 ASL: A Small Language We present in this chapter a simple language: ASL (A Small Language). This language is basically the λ-calculus (the purely functional kernel of Caml) enriched with a conditional constr

          Chapter 12 ASL: A Small Language We present in this chapter a simple language: ASL (A Small Language). This language is basically the λ-calculus (the purely functional kernel of Caml) enriched with a conditional constr

          Add to Reading List

          Source URL: caml.inria.fr

          Language: English - Date: 2011-11-23 02:41:37
          76Camlidl user’s manual Version 1.02 Xavier Leroy INRIA Rocquencourt July 30, 2001

          Camlidl user’s manual Version 1.02 Xavier Leroy INRIA Rocquencourt July 30, 2001

          Add to Reading List

          Source URL: caml.inria.fr

          Language: English - Date: 2001-07-30 11:37:08
          77A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue

          A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue

          Add to Reading List

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

          Language: English - Date: 2012-04-16 05:17:54
          78GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys

          GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys

          Add to Reading List

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

          Language: English - Date: 2015-05-19 19:25:32
          79

          PDF Document

          Add to Reading List

          Source URL: oud.ocaml.org

          Language: English - Date: 2012-07-31 10:32:51
          80The state of OCaml, 2012 Xavier Leroy INRIA Paris-Rocquencourt OCaml Users and Developers Workshop,

          The state of OCaml, 2012 Xavier Leroy INRIA Paris-Rocquencourt OCaml Users and Developers Workshop,

          Add to Reading List

          Source URL: oud.ocaml.org

          Language: English - Date: 2012-09-26 17:35:59