Dr. Didier R***

Logic programming and type systems Syntax Semantics Linguistic Variation Advanced Algebra and Logic Advanced Database Systems and Queries Formal Methods in Verification Programming language Type (biology) Mathematics Artificial intelligence Omnidirectional Inference Principality Design Implementation Modular Explicits Overloading Type Inference Modules Implicit arguments Implicit Middle Towards Implicits Ocaml System Release Documentation