Properties (184)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:affiliation |
gptkb:INRIA
|
| gptkbp:author |
gptkb:François_Pottier
Alain_Frisch Damien_Doligez Jacques_Garrigue |
| gptkbp:awards |
gptkb:ACM_SIGPLAN_Programming_Languages_Achievement_Award
|
| gptkbp:birthPlace |
gptkb:France
|
| gptkbp:collaborations |
gptkb:François_Pottier
gptkb:Gilles_Barthe gptkb:Xavier_Leroy |
| gptkbp:contribution |
Coq proof assistant
OCaml |
| gptkbp:education |
gptkb:University_of_Paris_12
gptkb:École_Normale_Supérieure |
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Xavier Leroy
|
| gptkbp:influencedBy |
gptkb:Gérard_Huet
gptkb:Robert_Harper gptkb:Jean-Yves_Girard |
| gptkbp:knownFor |
Programming Languages
Compilers |
| gptkbp:patentDescription |
Type Inference for Polymorphic Languages
Type_Systems_for_Programming_Languages |
| gptkbp:project |
gptkb:Tezos
gptkb:Merlin gptkb:CompCert gptkb:Caml_Light Dune Coq Coq Proof Assistant OCaml OCaml Compiler Menhir Caml Camlp4 Dune Build System Findlib Lwt Library OCaml Batteries Included OCaml-3.05.0 OCaml-3.13.0 OCaml-3.14.0 OCaml-3.15.0 OCaml-3.16.0 OCaml-3.17.0 OCaml-3.18.0 OCaml-3.19.0 OCaml-3.21.0 OCaml-3.22.0 OCaml-3.23.0 OCaml-3.24.0 OCaml-3.25.0 OCaml-3.26.0 OCaml-3.27.0 OCaml-3.28.0 OCaml-3.29.0 OCaml-3.30.0 OCaml-3.32.0 OCaml-3.33.0 OCaml-3.34.0 OCaml-3.35.0 OCaml-3.36.0 OCaml-3.37.0 OCaml-3.38.0 OCaml-3.40.0 OCaml-3.41.0 OCaml-3.42.0 OCaml-3.43.0 OCaml-3.45.0 OCaml-3.46.0 OCaml-3.47.0 OCaml-3.48.0 OCaml-3.49.0 OCaml-3.50.0 OCaml-3.52.0 OCaml-3.53.0 OCaml-3.54.0 OCaml-3.55.0 OCaml-3.56.0 OCaml-3.57.0 OCaml-3.58.0 OCaml-3.60.0 OCaml-3.61.0 OCaml-3.62.0 OCaml-3.64.0 OCaml-3.65.0 OCaml-3.66.0 OCaml-3.68.0 OCaml-3.69.0 OCaml-3.70.0 OCaml-3.72.0 OCaml-3.73.0 OCaml-3.75.0 OCaml-3.76.0 OCaml-3.77.0 OCaml-3.78.0 OCaml-3.79.0 OCaml-3.80.0 OCaml-3.81.0 OCaml-3.82.0 OCaml-3.83.0 OCaml-3.85.0 OCaml-3.86.0 OCaml-3.88.0 OCaml-3.89.0 OCaml-3.90.0 OCaml-3.91.0 OCaml-3.92.0 OCaml-3.93.0 OCaml-3.94.0 OCaml-3.95.0 OCaml-3.96.0 OCaml-3.97.0 OCaml-3.99.0 OCaml-4.05.0 OCaml-4.12.0 OCaml-4.13.0 OCaml-4.14.0 OCaml-compiler OCaml-compiler-backend OCaml-compiler-extensions OCaml-compiler-frontend OCaml-compiler-libs OCaml-compiler-optimizations OCaml-compiler-plugins OCaml-compiler-runtime OCaml-compiler-stdlib OCaml-compiler-stdlib-backend OCaml-compiler-stdlib-extensions OCaml-compiler-stdlib-extensions-backend OCaml-compiler-stdlib-extensions-frontend OCaml-compiler-stdlib-extensions-optimizations OCaml-compiler-stdlib-extensions-runtime OCaml-compiler-stdlib-frontend OCaml-compiler-stdlib-optimizations OCaml-compiler-stdlib-runtime OCaml-stdlib OCamlFind Ocsigen ReasonML Menhir_Parser_Generator OCaml-3.00.0 OCaml-3.01.0 OCaml-3.02.0 OCaml-3.03.0 OCaml-3.04.0 OCaml-3.06.0 OCaml-3.07.0 OCaml-3.08.0 OCaml-3.09.0 OCaml-3.10.0 OCaml-3.11.0 OCaml-3.12.0 OCaml-3.20.0 OCaml-3.31.0 OCaml-3.39.0 OCaml-3.44.0 OCaml-3.51.0 OCaml-3.59.0 OCaml-3.63.0 OCaml-3.67.0 OCaml-3.71.0 OCaml-3.74.0 OCaml-3.84.0 OCaml-3.87.0 OCaml-3.98.0 OCaml-4.00.0 OCaml-4.01.0 OCaml-4.02.0 OCaml-4.03.0 OCaml-4.04.0 OCaml-4.06.0 OCaml-4.07.0 OCaml-4.08.0 OCaml-4.09.0 OCaml-4.10.0 OCaml-4.11.0 OCamlformat Why3 |
| gptkbp:researchInterest |
Formal Methods
Software Verification Type_Systems |
| gptkbp:studentSupportServices |
gptkb:Gérard_Huet
|