Efficient lazy narrowing using demandedness analysis | Publicación