Functional Programming with GLIDE