Nombre de documents

7

CV de Boris Yakobowski


Thèse1 document

  • Boris Yakobowski. Graphical types and constraints - second-order polymorphism and inference. Software Engineering [cs.SE]. Université Paris-Diderot - Paris VII, 2008. English. <tel-00357708>

Communication dans un congrès3 documents

  • Sandrine Blazy, David Bühler, Boris Yakobowski. Improving static analyses of C programs with conditional predicates. FMICS 2014: Formal Methods for Industrial Critical Systems, Sep 2014, Florence, Italy. Lecture Notes in Computer Science (LNCS) (8718), pp.15, 2014, FMICS 2014: Formal Methods for Industrial Critical Systems. <http://fmics2014.unifi.it>. <10.1007/978-3-319-10702-8_10>. <hal-01242087>
  • Vincent Balat, Jérôme Vouillon, Boris Yakobowski. Experience report : Ocsigen, a web programming framework. International Conference on Functional Programming, 2009, Edinburgh, United Kingdom. ACM Press, pp.311-316, 2009, <10.1145/1631687.1596595>. <hal-00495903>
  • Boris Yakobowski. Le caractère ` à la rescousse -- Factorisation et réutilisation de code grâce aux variants polymorphes. JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.63-78, 2008. <inria-00202817>

Article dans une revue3 documents