GAML

Реализация языка программирования ML

GAML представляет собой параллельную реализацию Lazy ML, путем прямого расширения G машины Lazy ML. Параллелизм введен ветвлением, задаваемым непосредственно программистом. Также реализация GAML затрагивает управление стеком и динамической памяти.