Castagna Giuseppe について
Institut de Recherche en Informatique Fondamentale (IRIF), CNRS - Universite de Paris, France について
Lanvin Victor について
Institut de Recherche en Informatique Fondamentale (IRIF), CNRS - Universite de Paris, France について
Laurent Mickaeel について
Institut de Recherche en Informatique Fondamentale (IRIF), CNRS - Universite de Paris, France について
Nguyen Kim について
Laboratoire de Methodes Formelles (LMF), CNRS - Universite Paris-Saclay, France について
Science of Computer Programming について
最適化 について
集合論 について
言語 について
再構成 について
精密化 について
型推論 について
アノテーション について
タイピング について
ユニオンタイプ について
交差型 について
タイプ推論 について
動的言語 について
タイプケース について
入出力装置 について
数理言語学 について
計算機システム開発 について
移動通信 について
人間機械系 について
タイピング について