Skip to content

Combining Dependency, Grades, and Adjoint Logic.

Peter Hanukaev, Harley Eades III

VenueAICFP
Year2023
ProceedingsTyDe@ICFP

Browse the full ICFP paper archive.