Garrigue

Results: 111



#Item
31

Structural Types, Recursive Modules, and the Expression Problem Jacques Garrigue Nagoya University, Grad. Sch. of Mathematics

Add to Reading List

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

- Date: 2005-10-10 03:26:38
    32

    SECOND CALL FOR PAPERS for FLOPSNinth International Symposium on Functional and Logic Programming Ise, Japan, April 14-16, 2008 Submission deadline: October 10, 2007 http://www.math.nagoya-u.ac.jp/˜garrigue/FLOPS

    Add to Reading List

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

    - Date: 2007-09-12 08:36:45
      33

      Type-level module aliases: independent and equal Jacques Garrigue Nagoya University

      Add to Reading List

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

      - Date: 2014-09-09 03:06:05
        34

        Couv. dossier de candidature GPFS15

        Add to Reading List

        Source URL: www.garrigue.net

        - Date: 2015-04-09 03:10:47
          35

          Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences, Kyoto University, Sakyo-ku, Kyoto

          Add to Reading List

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

          - Date: 2005-02-23 20:45:32
            36

            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
              37

              Tracing Ambiguity in GADT Type Inference ML Workshop 2012, Copenhagen Jacques Garrigue & Didier R´ emy

              Add to Reading List

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

              Language: English - Date: 2012-09-13 08:07:44
                38

                Řád Tomáše Garrigue Masaryka II. třídy

                Add to Reading List

                Source URL: www.prazskyhradarchiv.cz

                Language: Czech - Date: 2014-05-04 17:46:58
                  39

                  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
                    40

                    Type-level module aliases: independent and equal Jacques Garrigue and Leo White 1 Synopsys

                    Add to Reading List

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

                    Language: English - Date: 2014-09-05 16:46:47
                      UPDATE