John Wiegley - ICFP 2018 (original) (raw)

Name:John Wiegley

Bio:

Test.

Affiliation:BAE Systems

Personal website: http://newartisans.com

Research interests:Formal Methods, Functional Programming, Category Theory