Test of time award for Dale Miller (Parsifal)
Dale Miller, leader of the Parsifal project-team, has been awarded during the LICS 2011 conference (June in Toronto) for a paper he wrote in 1991.
The test of time award which is given during the LICS conference aims at rewarding papers which have had an influence since their publication, twenty years earlier. Thus, Dale Miller got this award for his paper Logic Programming in a Fragment of Intuitionistic Linear Logic which he wrote in 1991 with his student Hosh Hodas.
Logic Programming in a Fragment of Intuitionistic Linear Logic :
This is one of the first explorations of logic programming style proof search in Girard's linear logic. The paper radically changed the perception of what logic programming might be, on the heels of linear logic changing the perception of what logic might be. In contrast to the traditional intuitionistic basis of logic programming, this new foundation permitted "stateful" (eg. modelling database updates) and "resourceful" (eg. in linguistic models) declarative models.