The design of functional programs : a calculational approach

R.R. Hoogerwoord

    Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

    461 Downloads (Pure)
    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • Mathematics and Computer Science
    Supervisors/Advisors
    • Rem, Martin, Promotor
    • Kruseman Aretz, Frans E.J., Promotor
    Award date19 Dec 1989
    Place of PublicationEindhoven
    Publisher
    DOIs
    Publication statusPublished - 1989

    Cite this