Wand, Mitchell
-
BRICS Report Series Nr. 33 (1995): RS-33 Type Inference with Nonstructural Subtyping - Artikler
Type Inference with Nonstructural Subtyping
Resumé PDF (English) -
BRICS Report Series Nr. 38 (2004): RS-38 Bottom-Up beta-Substitution: Uplinks and lambda-DAGs - Artikler
Bottom-Up beta-Substitution: Uplinks and lambda-DAGs
Resumé PDF (English)