Tarmo Uustalu

Ein Blick auf Gradierungen und ihre Rolle beim Management von Berechnungseffekten in Monaden.

Dieses Papier vereinigt Ansätze zur nichtdeterministischen Iteration in der Programmierung mit Kategorientheorie.