Wand, Mitchell
-
BRICS Report Series No. 33 (1995): RS-33 Type Inference with Nonstructural Subtyping - Articles
Type Inference with Nonstructural Subtyping
Abstract PDF -
BRICS Report Series No. 38 (2004): RS-38 Bottom-Up beta-Substitution: Uplinks and lambda-DAGs - Articles
Bottom-Up beta-Substitution: Uplinks and lambda-DAGs
Abstract PDF