Findler is Keynote Speaker at 2014 ACM SIGPLAN International Conference on Functional Programming
Prof. Findler will present his research, titled, "Behavioral Software Contracts" on Tuesday, September 2.
Prof. Robby Findler has been invited to deliver a keynote talk at the 2014 ACM SIGPLAN International Conference on Functional Programming (ICFP) in Gothenburg, Sweden on September 1-3.
Prof. Findler will present his research, titled, "Behavioral Software Contracts" on Tuesday, September 2.
His talk presents the challenges and rewards of supporting contracts in a modern, full-spectrum programming language. His research covers technical challenges of contracts while demonstrating the non-technical motivation for contract system design choices and showing how contracts and contract research can serve practicing programmers.
ICFP 2014 provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.
You can find downloadable slides from Prof. Findler's presentation on GitHub.