Damien Doligez - PDFSEARCH.IO - Document Search Engine

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
4	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 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Data types OCaml Generic programming Modular programming Module Set Coupling
5	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 Temporal logic Logic in computer science Mathematical logic Logic Computation tree logic Mathematics Witness Linear temporal logic CTL*
6	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 Damien Doligez Pointer French Institute for Research in Computer Science and Automation
7	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 Software engineering Computer programming Computing Functional languages Object-oriented programming languages Data types OCaml Generic programming Modular programming Module Set Coupling
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