OCaml

Results: 348



#Item
91Universit` a Ca’ Foscari Dipartimento di informatica Programmazione part-time Esame Ocaml

Universit` a Ca’ Foscari Dipartimento di informatica Programmazione part-time Esame Ocaml

Add to Reading List

Source URL: www.dsi.unive.it

Language: Italian - Date: 2011-05-17 09:04:09
    92Universit` a Ca’ Foscari Dipartimento di informatica Programmazione part-time Esame Ocaml

    Universit` a Ca’ Foscari Dipartimento di informatica Programmazione part-time Esame Ocaml

    Add to Reading List

    Source URL: www.dsi.unive.it

    Language: Italian - Date: 2011-05-31 05:37:35
      93Universit` a Ca’ Foscari DAIS Programmazione part-time Esame Ocaml

      Universit` a Ca’ Foscari DAIS Programmazione part-time Esame Ocaml

      Add to Reading List

      Source URL: www.dsi.unive.it

      Language: Italian - Date: 2012-12-10 17:25:56
        94First-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
          95Adding GADTs to OCaml the direct approach Jacques Garrigue & Jacques Le Normand Nagoya University / LexiFi (Paris) https://sites.google.com/site/ocamlgadt/

          Adding GADTs to OCaml the direct approach Jacques Garrigue & Jacques Le Normand Nagoya University / LexiFi (Paris) https://sites.google.com/site/ocamlgadt/

          Add to Reading List

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

          Language: English - Date: 2011-09-27 22:03:35
            96Catch me if you can Looking for type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller1 , Arnaud Spiwack2 , and Till Varoquaux3 1

            Catch me if you can Looking for type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller1 , Arnaud Spiwack2 , and Till Varoquaux3 1

            Add to Reading List

            Source URL: assert-false.net

            Language: English - Date: 2012-02-29 08:17:56
              97Programmation web simplifi´ ee en OCaml OCamlPro OCamlPro est une jeune spin-off de l’INRIA, cr´e´ee en avril 2011, pour promouvoir l’utilisation du langage de programmation OCaml dans le

              Programmation web simplifi´ ee en OCaml OCamlPro OCamlPro est une jeune spin-off de l’INRIA, cr´e´ee en avril 2011, pour promouvoir l’utilisation du langage de programmation OCaml dans le

              Add to Reading List

              Source URL: www.ocamlpro.com

              Language: French - Date: 2012-01-10 09:33:42
                98Le 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
                  99Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´

                  Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´

                  Add to Reading List

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

                  Language: English - Date: 2013-12-10 00:25:45
                  100ocp-build : un gestionnaire de projet pour OCaml OCamlPro OCamlPro est une jeune spin-off de l’INRIA, cr´e´ee en avril 2011, pour promouvoir l’utilisation du langage de programmation OCaml dans le milieu industriel

                  ocp-build : un gestionnaire de projet pour OCaml OCamlPro OCamlPro est une jeune spin-off de l’INRIA, cr´e´ee en avril 2011, pour promouvoir l’utilisation du langage de programmation OCaml dans le milieu industriel

                  Add to Reading List

                  Source URL: www.ocamlpro.com

                  Language: French - Date: 2012-01-10 09:33:42