Date: 2017-09-06
Categories: news; research

ICFP most influential paper award

Very pleased to report that a group of us were awarded the ICFP "most influential paper" award, for a paper in ICFP 2007. http://www.sigplan.org/Awards/ICFP/

ICFP citation from above link:

The ICFP paper describes Ott’s goals and design, focusing particularly on its metalanguage, which aims to balance mathematical precision and ease-of-use. Ott strikes a balance between informal notation and checked structure that is both lightweight and powerful. As its syntax is notationally close to existing vernacular, it is easy for language designers to adopt. At the same time, Ott’s flexible parser and native support for meta-functions and relations means that it “type checks” language specifications, catching subtle errors in definitions even without full encoding in a proof assistant. Over the past ten years, ICFP researchers have benefitted tremendously from the open-source tool and the effective design space exploration that it promotes.