 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00528476, version 1 |
| Detailed view |  Export this paper |
 |
| Développement d'applications avec Objective Caml (2000) 400 |
|
|
|
|
| Développement d'applications avec Objective Caml |
|
|
| Pascal Manoury 1Chailloux Emmanuel 2 |
|
|
| (2000) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2: | Laboratoire d'Informatique de Paris 6 (LIP6) |
|
|
|
CNRS : UMR7606 – Université Pierre et Marie Curie [UPMC] - Paris VI |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Programming Languages |
| hal-00528476, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00528476 | |
| oai:hal.archives-ouvertes.fr:hal-00528476 | |
| From: Pascal Manoury | |
| Submitted on: Thursday, 21 October 2010 19:26:21 | |
| Updated on: Thursday, 21 October 2010 19:26:21 | |
