Xavier Leroy - Home pageHello and welcome to my corner of the Web. I'm a senior computer scientist interested in all scientific aspects of computer programming. I'm a professor at Collège de France, where I hold the chair of software sciences, and a member of Académie des sciences. I'm also a member of the Cambium research team of Inria. News [01/2024] Award: the 2023 ACM SIGPLAN Programming Languages Software Award was
Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller LIFO, Universit´e d’Orl´eans David.Teller@univ-orleans.fr Arnaud Spiwack LIX, ´Ecole Polytechnique Arnaud.Spiwack@lix
OCaml - The OCaml Manual
初心者が書いた OCaml 入門
数理科学的バグ撲滅方法論のすすめ---目次 | 日経 xTECH（クロステック）
