Skip to content

A Dependent Dependency Calculus.

Pritam Choudhury, Harley Eades III, Stephanie Weirich

VenueAESOP
Year2022
ProceedingsESOP

Browse the full ESOP paper archive.