Remy Haemmerle
Post-doctoral Researcher
Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.
Research Interests
Programming language design and implementation; Constraint Handling Rules; induction & coinduction; abstract interpretation.
