The tensor product in Wadler's analysis of lists
F. Nielson, H. Riis Nielson
Type
Journal paper [With referee]
Journal
Science of Computer Programming
Year
1994
Vol.
22
pp.
327-354
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering