Conor Mcbride

Conor Mcbride

Lecturer
University of Strathclyde
location_on United Kingdom

Member since 2 months

Share

Conor Mcbride

Specialises In (based on submitted proposals)
technique

Conor McBride leads the Mathematically Structured Programming group at the University of Strathclyde, in Glasgow, Scotland. He has been building programming languages for thirty years and is still unhappy with them. His postdoctoral work on the dependently typed functional language Epigram helped to provoke the design of Agda and of Idris. His Haskell preprocessor, the Strathclyde Haskell Enhancement, provoked the DataKinds extension in GHC. He is always looking to bring the mathematical structure of types and programs off the blackboard and onto the motherboard. He is also a working programmer.