Typing algorithm in type theory with inheritance
暂无分享,去创建一个
[1] Christine C. Paulin. Extraction de programmes dans le calcul des constructions , 1989 .
[2] Erik Poll,et al. Pure Type Systems with Definitions , 1994, LFCS.
[3] Paul B. Jackson. Enhancing the NUPRL Proof Development System and Applying it to Computational Abstract Algebra , 1995 .
[4] Christine Paulin-Mohring,et al. Inductive Definitions in the system Coq - Rules and Properties , 1993, TLCA.
[5] Luca Cardelli,et al. Subtyping recursive types , 1991, POPL '91.
[6] Thierry Coquand,et al. Inheritance as Implicit Coercion , 1991, Inf. Comput..