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.
Problems solved
- Qualification Round (4 solutions by 1 contestant):
- Saving the Universe: 1 small solution, 1 large solution.
- Train Timetable: 1 small solution, 1 large solution.
Submission Origin
| India (1 contestant) |