Title: Design and implementation of a functional language