在标准ML中，可以使用结构体和签名来表达数据类型的子类型。

以下是一个示例代码，其中使用结构体和签名来定义一个父类型和子类型：

structure ParentType = struct
  type parent = {name: string, age: int}
end

structure ChildType : sig
  include module type of ParentType
  val grade : int
end = struct
  type child = {name: string, age: int, grade: int}
  val grade = 5
end

val parentData = ParentType.{name = "John", age = 30}
val childData = ChildType.{name = "Sara", age = 10, grade = 5}

val parentName : string = #name parentData
val childName : string = #name childData
val childGrade : int = ChildType.grade

在上面的示例中，ParentType结构体定义了一个父类型parent，包含name和age字段。ChildType结构体通过签名继承了ParentType的模块类型，并添加了一个额外的grade字段来定义子类型child。

通过ParentType和ChildType可以创建相应的数据实例parentData和childData。然后，可以使用#name来获取实例的名称，并将其分配给相应的类型。此外，还可以通过ChildType.grade获取子类型的grade值。

这样，我们就可以在标准ML中使用结构体和签名来表达数据类型的子类型。