Functional Systems Programming

Description

With the advent of modern functional languages it becomes attractive to rethink the way we have been programming thus far, and to demonstrate the essence of many things we have been doing thus far, by encoding them in a more abstract way.

Project Members

• Prof. S. Doaitse Swierstra