Utilisation de la technique du Type-based homeomorphic embedding dans la spécialisation on-line d'interpréteurs

  • Olivier Pierre

    Student thesis: Master typesMaster in Computer science

    Date of Award2008
    Original languageFrench
    Awarding Institution
    • University of Namur
    SupervisorWim Vanhoof (Supervisor)

    Cite this

    '