Extending the type checker of Standard ML by polymorphic recursion
scientific article; zbMATH DE number 1238991
scientific article