Join inverse rig categories for reversible functional programming, and beyond

Robin Kaarsgaard, Mathys Rennela

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

19 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Join inverse rig categories for reversible functional programming, and beyond'. Sammen danner de et unikt fingeraftryk.

Computer Science