Damien Doligez

Results: 38



#Item
1

The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2017-11-03 12:23:36
    2

    The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

    Add to Reading List

    Source URL: caml.inria.fr

    - Date: 2017-11-03 12:23:36
      3

      The OCaml system release 4.04 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

      Add to Reading List

      Source URL: caml.inria.fr

      - Date: 2016-11-04 12:44:19
        4Software engineering / Computer programming / Computing / Functional languages / Object-oriented programming languages / Data types / OCaml / Generic programming / Modular programming / Module / Set / Coupling

        The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

        Add to Reading List

        Source URL: caml.inria.fr

        Language: English - Date: 2016-04-25 11:00:25
        5Temporal logic / Logic in computer science / Mathematical logic / Logic / Computation tree logic / Mathematics / Witness / Linear temporal logic / CTL*

        A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez

        Add to Reading List

        Source URL: coccinelle.lip6.fr

        Language: English
        6Damien Doligez / Pointer / French Institute for Research in Computer Science and Automation

        Hashconsing in an Incrementally Garbage-Collected System Pascal Cuoq (CEA LIST) Damien Doligez (INRIA)

        Add to Reading List

        Source URL: www.kb.ecei.tohoku.ac.jp

        Language: English - Date: 2008-09-21 20:02:44
        7Software engineering / Computer programming / Computing / Functional languages / Object-oriented programming languages / Data types / OCaml / Generic programming / Modular programming / Module / Set / Coupling

        The OCaml system release 4.03 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon

        Add to Reading List

        Source URL: caml.inria.fr

        Language: English - Date: 2016-04-25 11:00:25
        8

        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

        - Date: 2003-09-29 11:21:55
          9

          A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez

          Add to Reading List

          Source URL: www.diku.dk

          - Date: 2009-03-22 13:55:04
            UPDATE