Is this snippet legal Standard ML according to the Definition?...

Type inference for polymorphic recursion encoded as module recursion...

SML: Error: operator and operand don't agree [tycon mismatch]...

Match non exhaustive in sml...

Hint for SML type inference...

how to stop a recursive function in this case (SML)...

computes the length of list which contains list (SML)...

C : Sum of reverse numbers...

Given a signature with two abstract types, define a subsignature that makes them equal...

elseif statement in Standard ML?...

How much space is required in my SML code?...

Type clash in Standard ML datatype with same constructor name...

Standard ML Binary Tree Traversal...

I want to make function maptree with standard ML...

Read file character by character in SMLNJ...

tuple access: Can't find a fixed record type...

How to compile multiple SML files?...

SML : Replacing a concat by printing the string directly...

Can't unify IEEEReal.rounding_mode with real...

How to specify type constraints in a datatype in Standard-ML?...

right-hand-side of clause doesn't agree with function result type...

unification with recursive datatypes...

exit, abort, sleep for debugging?...

Type variable to be unified occurs in type...

variable gets forgotten after print statement...

print statement causing error?...

nested let and if statements...

operator operand type mismatch...

Can you disable all print statements in SML...

How to convert String to int(and not to int option) in SML...