Language Details: Standard ML

Skip to: Contestants · Problems solved · Represented countries.

Standard ML is a general-purpose, modular, functional programming language with compile-time type checking and type inference; and a descendant of the ML programming language used in the Logic for Computable Functions theorem-proving project.

Standard ML article on Wikipedia

Problems solved

Qualification Round (4 solutions by 2 contestants):
Round 1A (3 solutions by 2 contestants):

Submission Origin

Latvia (2 contestants)
Estonia (1 contestant)
Sweden (1 contestant)