Pedro H. Azevedo de Amorim

Ein neues Framework zum Verständnis von Kosten in probabilistischer funktionaler Programmierung.