From algebra to abstract machine: A verified generic construction

Carlos Tomé Cortiñas, W.S. Swierstra

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the workshop on Type-driven Develeopment (TyDe)
Publication statusPublished - 2018

Cite this