The tensor product in Wadler's analysis of lists

F. Nielson, H. Riis Nielson

TypeConference paper [With referee]
ConferenceProc. ESOP'92
Year1992    Vol. 582    pp. 351-370
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering