Polynomial-Time Optimal Pretty-Printing Combinators with Choice.

Autor: Podkopaev, Anton, Boulytchev, Dmitri
Zdroj: Perspectives of System Informatics; 2015, p257-265, 9p
Databáze: Complementary Index