Developing Applications With Objective Caml Translated by (2008)
Emmanuel Chailloux, Pascal Manoury, Bruno Pagano, Francisco Albacete, Mark Andrew, Martin Anlauf, ...
The original edition of this book (ISBN 2-84177-121-0) was published in France by O’REILLY & Associates under the title Dveloppement d’applications avec Objective Caml. Historique: •...
EXPERIMENT AROUND A TRAINING ENGINE — Revision: 1.15 (2008)
Anne Brygoo, Titou Durand, Pascal Manoury, Christian Queinnec, Michèle Soria
Abstract We describe a teaching experiment where an introductory course to Computer Science is accompanied by a computerized training engine. This whole engine relies on the existence of an...
Un cédérom pour Scheme Chacun son entraineur, un entraineur pour tous (2002)
Brygoo, Anne, Durand, Titou, Manoury, Pascal, Queinnec, Christian
Cet article relate une expérimentation pédagogique dans laquelle nous avons conçu un cédérom pour accompagner un cours d'initiation à l'informatique. Ce cédérom procure un environnement de...
Un système X, Raisonner formellement sur les programmes ML (2002)
Baro, Sylvain, Manoury, Pascal
Nous proposons dans cet article un système de types dit "renforcé" permettant de garantir la terminaison de programmes exprimés dans le noyau fonctionnel pur de ML. Le caractère "renforcé" du...
Un cédérom pour Scheme Chacun son entraineur, un entraineur pour tous (2002)
Brygoo, Anne, Durand, Titou, Manoury, Pascal, Queinnec, Christian
Cet article relate une expérimentation pédagogique dans laquelle nous avons conçu un cédérom pour accompagner un cours d'initiation à l'informatique. Ce cédérom procure un environnement de...
Un système X, Raisonner formellement sur les programmes ML (2002)
Baro, Sylvain, Manoury, Pascal
Nous proposons dans cet article un système de types dit "renforcé" permettant de garantir la terminaison de programmes exprimés dans le noyau fonctionnel pur de ML. Le caractère "renforcé" du...
Un cédérom pour Scheme Chacun son entraineur, un entraineur pour tous (2002)
Brygoo, Anne, Durand, Titou, Manoury, Pascal, Queinnec, Christian
Cet article relate une expérimentation pédagogique dans laquelle nous avons conçu un cédérom pour accompagner un cours d'initiation à l'informatique. Ce cédérom procure un environnement de...
Un système X, Raisonner formellement sur les programmes ML (2002)
Baro, Sylvain, Manoury, Pascal
Nous proposons dans cet article un système de types dit "renforcé" permettant de garantir la terminaison de programmes exprimés dans le noyau fonctionnel pur de ML. Le caractère "renforcé" du...
Un cédérom pour Scheme Chacun son entraineur, un entraineur pour tous (2002)
Brygoo, Anne, Durand, Titou, Manoury, Pascal, Queinnec, Christian
Cet article relate une expérimentation pédagogique dans laquelle nous avons conçu un cédérom pour accompagner un cours d'initiation à l'informatique. Ce cédérom procure un environnement de...
Un cédérom pour Scheme Chacun son entraineur, un entraineur pour tous (2002)
Brygoo, Anne, Durand, Titou, Manoury, Pascal, Queinnec, Christian
Cet article relate une expérimentation pédagogique dans laquelle nous avons conçu un cédérom pour accompagner un cours d'initiation à l'informatique. Ce cédérom procure un environnement de...
Un système X, Raisonner formellement sur les programmes ML (2002)
Baro, Sylvain, Manoury, Pascal
Nous proposons dans cet article un système de types dit "renforcé" permettant de garantir la terminaison de programmes exprimés dans le noyau fonctionnel pur de ML. Le caractère "renforcé" du...
Un cédérom pour Scheme Chacun son entraineur, un entraineur pour tous (2002)
Brygoo, Anne, Durand, Titou, Manoury, Pascal, Queinnec, Christian
Cet article relate une expérimentation pédagogique dans laquelle nous avons conçu un cédérom pour accompagner un cours d'initiation à l'informatique. Ce cédérom procure un environnement de...
EXPERIMENTAROUNDATRAININGENGINE --- Revision: 1.15 (2002)
Anne Brygoo Anne, Titou Durand, Pascal Manoury, Christian Queinnec, Michèle Soria
We describe a teaching experiment where an introductory course to Computer Science is accompanied by a computerized training engine. This whole engine relies on the existence of an interpreter of the...
EXPERIMENTAROUNDATRAININGENGINE --- Revision: 1.15 (2002)
Anne Brygoo Anne, Titou Durand, Pascal Manoury, Christian Queinnec, Michle Soria
We describe a teaching experiment where an introductory course to Computer Science is accompanied by a computerized training engine. This whole engine relies on the existence of an interpreter of the...
Types behind the mirror: a proposal for partial ML type reconstruction at runtime (1997)
Emmanuel Chailloux, Pascal Manoury, Bruno Pagano
Polymorphic parametric languages, statically typed, `a la ML, do not need to keep types inside their values during runtime to have a safe execution. Nevertheless this type information gives new...
The Coq Proof Assistant, Reference Manual, Version 5.10 (1995)
Cornes, Cristina, Courant, Judicaël, Filliatre, Jean-Christophe, Huet, Gerard, Manoury, Pascal, Munoz, César, ...
The Coq Proof Assistant, Reference Manual, Version 5.10 (1995)
Cornes, Cristina, Courant, Judicaël, Filliâtre, Jean-Christophe, Huet, Gerard, Manoury, Pascal, Munoz, César, ...
Résumé disponible dans les fichiers attachés
The Coq Proof Assistant, Reference Manual, Version 5.10 (1995)
Cornes, Cristina, Courant, Judicaël, Filliâtre, Jean-Christophe, Huet, Gerard, Manoury, Pascal, Munoz, César, ...
Résumé disponible dans les fichiers attachés
The Coq Proof Assistant - Reference Manual V 5.10 (1995)
Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre, Gérard Huet, Chetan Murthy, César Muñoz, ...
ion All Axiom Begin Cd Chapter Check CheckGuard CoFixpoint Compute Defined Definition Drop Elimination End Eval Explain Extraction Fact Fixpoint Focus for Go Goal Hint Hypothesis Immediate Induction...