<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:GALLIUM</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Application Domains - Teaching programming"/>
    <meta name="dc.title" content="Application Domains - Teaching programming"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2016-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="GALLIUM"/>
    <script type="text/javascript" src="https://raweb.inria.fr/rapportsactivite/RA2016/static/MathJax/MathJax.js?config=TeX-MML-AM_CHTML">
      <!--MathJax-->
    </script>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Gallium</a>
        </div>
        <span>
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">Overall Objectives<ul><li><a href="./uid3.html">Research at Gallium</a></li></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid5.html&#10;&#9;&#9;  ">Programming languages: design, formalization, implementation</a></li><li><a href="uid10.html&#10;&#9;&#9;  ">Type systems</a></li><li><a href="uid14.html&#10;&#9;&#9;  ">Compilation</a></li><li><a href="uid16.html&#10;&#9;&#9;  ">Interface with formal methods</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid20.html&#10;&#9;&#9;  ">High-assurance software</a></li><li><a href="uid21.html&#10;&#9;&#9;  ">Software security</a></li><li><a href="uid22.html&#10;&#9;&#9;  ">Processing of complex structured data</a></li><li><a href="uid23.html&#10;&#9;&#9;  ">Rapid development</a></li><li class="tdmActPage"><a href="uid24.html&#10;&#9;&#9;  ">Teaching programming</a></li></ul></div>
      <div class="TdmEntry">
        <a href="./uid26.html">Highlights of the Year</a>
      </div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid28.html&#10;&#9;&#9;  ">CompCert</a></li><li><a href="uid30.html&#10;&#9;&#9;  ">Diy</a></li><li><a href="uid32.html&#10;&#9;&#9;  ">Menhir</a></li><li><a href="uid34.html&#10;&#9;&#9;  ">OCaml</a></li><li><a href="uid36.html&#10;&#9;&#9;  ">OPAM Builder</a></li><li><a href="uid38.html&#10;&#9;&#9;  ">PASL</a></li><li><a href="uid40.html&#10;&#9;&#9;  ">TLAPS</a></li><li><a href="uid42.html&#10;&#9;&#9;  ">Zenon</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid45.html&#10;&#9;&#9;  ">Formal verification of compilers and static analyzers</a></li><li><a href="uid58.html&#10;&#9;&#9;  ">Language design and type systems</a></li><li><a href="uid61.html&#10;&#9;&#9;  ">Shared-memory parallelism</a></li><li><a href="uid64.html&#10;&#9;&#9;  ">The OCaml language and system</a></li><li><a href="uid78.html&#10;&#9;&#9;  ">Software specification and verification</a></li></ul></div>
      <div class="TdmEntry">Bilateral Contracts and Grants with Industry<ul><li><a href="uid86.html&#10;&#9;&#9;  ">Bilateral Contracts with Industry</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid104.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid113.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid118.html&#10;&#9;&#9;  ">International Initiatives</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid124.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid134.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li><a href="uid155.html&#10;&#9;&#9;  ">Popularization</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentmajor" href="bibliography.html">Major publications</a>
          </li>
          <li>
            <a id="tdmbibentyear" href="bibliography.html#year">Publications of the year</a>
          </li>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2016</a> | <a href="http://www.inria.fr/en/teams/gallium">Presentation of the Project-Team GALLIUM</a> | <a href="http://gallium.inria.fr/">GALLIUM Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="gallium.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="gallium.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-gallium-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../gallium/gallium.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-gallium-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid23.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid26.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      Application Domains</h2>
        <h3 class="titre3">Teaching programming</h3>
        <p>Our work on the Caml language family has an impact on the teaching of
programming. Caml Light is one of the programming
languages selected by the French Ministry of Education
for teaching Computer Science in <i>classes
préparatoires scientifiques</i>. OCaml is also widely used for
teaching advanced programming in engineering schools, colleges and
universities in France, the USA, and Japan.</p>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid23.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid26.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
