This post reviews MIRI’s activities in 2017, including research, recruiting, exposition, and fundraising activities. 2017 was a big transitional year for MIRI, as we took on new research projects that have a much greater reliance on hands-on programming work and...
Prolific Haskell developer Edward Kmett has joined the MIRI team! Edward is perhaps best known for popularizing the use of lenses for functional programming. Lenses are a tool that provides a compositional vocabulary for accessing parts of larger structures and...
