Garrigue

Results: 111



#Item
41

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
    42

    A Certified Implementation of ML with Structural Polymorphism Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, Nagoya

    Add to Reading List

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

    Language: English - Date: 2010-11-27 20:09:59
      43

      Recursive Modules for Programming Keiko Nakata Jacques Garrigue Research Institute for Mathematical Sciences,

      Add to Reading List

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

      Language: English - Date: 2006-09-25 20:40:19
        44

        Simpoulet: an attempt at proving environmental bisimulations in Coq Jacques Garrigue (Nagoya University) Pierre-Marie P´ edrot (ENS Lyon)

        Add to Reading List

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

        Language: English - Date: 2010-11-25 02:37:47
          45

          Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

          Add to Reading List

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

          Language: English - Date: 2010-12-28 20:49:23
            46

            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
              47

              Union de variants abstraits Jacques Garrigue Nagoya University, Grad. Sch. of Mathematics avec Romain Bardou, E.N.S. Cachan

              Add to Reading List

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

              Language: French - Date: 2007-07-03 02:24:39
                48

                Runtime types in OCaml Jacques Garrigue 1 Gr´egoire Henry

                Add to Reading List

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

                Language: English - Date: 2013-08-04 23:16:31
                  49

                  Higher-Order Symb Comput DOIs10990Path resolution for nested recursive modules Jacques Garrigue · Keiko Nakata

                  Add to Reading List

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

                  Language: English - Date: 2012-05-28 20:04:50
                    50

                    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
                      UPDATE