ml-w-0.1: Minimal ML language to to demonstrate the W type infererence algorithm.

Index

:>:Language.ML.TypeCheck, Language.ML
AppLanguage.ML.Syntax, Language.ML
AssumpLanguage.ML.TypeCheck, Language.ML
DeclLanguage.ML.Syntax, Language.ML
ExprLanguage.ML.Syntax, Language.ML
FixLanguage.ML.Syntax, Language.ML
IdLanguage.ML.Syntax, Language.ML
InfiniteTypeLanguage.ML.TypeCheck, Language.ML
LamLanguage.ML.Syntax, Language.ML
LetLanguage.ML.Syntax, Language.ML
parseExprLanguage.ML.Syntax, Language.ML
parseExpr'Language.ML.Syntax, Language.ML
parseProgramLanguage.ML.Syntax, Language.ML
parseProgram'Language.ML.Syntax, Language.ML
prettyDeclLanguage.ML.Syntax, Language.ML
prettyExprLanguage.ML.Syntax, Language.ML
prettyProgramLanguage.ML.Syntax, Language.ML
prettySchemeLanguage.ML.TypeCheck, Language.ML
prettyTypeLanguage.ML.TypeCheck, Language.ML
Program 
1 (Type/Class)Language.ML.Syntax, Language.ML
2 (Data Constructor)Language.ML.Syntax, Language.ML
Scheme 
1 (Type/Class)Language.ML.TypeCheck, Language.ML
2 (Data Constructor)Language.ML.TypeCheck, Language.ML
TyArrLanguage.ML.TypeCheck, Language.ML
TyGenLanguage.ML.TypeCheck, Language.ML
TypeLanguage.ML.TypeCheck, Language.ML
TypeError 
1 (Type/Class)Language.ML.TypeCheck, Language.ML
2 (Data Constructor)Language.ML.TypeCheck, Language.ML
typeExprLanguage.ML.TypeCheck, Language.ML
typeProgramLanguage.ML.TypeCheck, Language.ML
TyVar 
1 (Data Constructor)Language.ML.TypeCheck, Language.ML
2 (Type/Class)Language.ML.TypeCheck, Language.ML
UnboundVariableLanguage.ML.TypeCheck, Language.ML
UnificationFailLanguage.ML.TypeCheck, Language.ML
VarLanguage.ML.Syntax, Language.ML