Skip to content

A structural modeling notation for the typed functional paradigm.

Yusuf Moosa Motara

Year2020
ProceedingsSAC

Browse the full SAC paper archive.