Pedro H. Azevedo de Amorim

Un nuovo framework per capire i costi nella programmazione funzionale probabilistica.