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
rgr (5 sets)functional (3 sets)

Problems solved

Qualification Round (7 solutions by 2 contestants):
  • Bot Trust: 2 small solutions, 2 large solutions.
  • Magicka: 2 small solutions, 1 large solution.
Round 1A (1 solution by 1 contestant):

Submission Origin

United States (1 contestant)
Gibraltar (1 contestant)