Skip to content

Deferring the details and deriving programs.

Liam O'Connor

VenueAICFP
Year2019
ProceedingsTyDe@ICFP

Browse the full ICFP paper archive.