Inductive Reasoning About Effectful Data Types

Andrzej Filinski, Kristian Støvring

14 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Inductive Reasoning About Effectful Data Types'. Sammen danner de et unikt fingeraftryk.