Mars: an imperative/declarative higher-order programming language with automatic destructive update. - Matthew Giuca (2014)